os_printf now works