FIX: vxworks writeToOs