printf; #### $_ = "%d 42"; printf;