model for FileOutputStream.writeBytes