printf line 536