forgot about `open Printf`