program test_hello()

import printf from "stdio.h"

begin
    printf("Hello world from Mod-c!\n")

    let Day :^char =  "20260326"
    let Time :^char = "15:54"
    printf("%s-%s\n", Day, Time)

    printf("%d.%d\n", 3, 1415926 )
end

