#define ATTR_file___OFStream____writable(recv) ATTR(recv, COLOR_file___OFStream____writable)
typedef void (* file___OFStream___write_native_t)(val_t self, val_t param0, val_t param1);
void file___OFStream___write_native(val_t self, val_t param0, val_t param1);
#define ATTR_file___OFStream____writable(recv) ATTR(recv, COLOR_file___OFStream____writable)
typedef void (* file___OFStream___write_native_t)(val_t self, val_t param0, val_t param1);
void file___OFStream___write_native(val_t self, val_t param0, val_t param1);