declare printf(fmt: *char, ...)