let printf : (unit -> string -> int -> int -> ('a, unit, string, unit) format4 -> 'a) = fun () ->
      let start_time : float = Sys.time () in
      (fun (brick_name:string) (brick_verb:int) (verb:int) (message : ('a, unit, string, unit) format4) ->
       Printf.ksprintf
     (fun s ->
      if true
      then Printf.printf "[%s][%.3f] %s" brick_name start_time s else ())
     message)