printf don't work currently