[4o6]remote debugging printf