(* C-style strftime *)
val strftime : string -> string