- fun read: String import NativeString.to_s_with_length `{
- static char c[1024];
- int n = read(*recv, c, 1024);
+ # Write `value` as a single byte
+ fun write_byte(value: Int): Int `{
+ unsigned char byt = (unsigned char)value;
+ return write(*self, &byt, 1);
+ `}
+
+ fun read: String import NativeString.to_s_with_length, NativeString `{
+ char *c = new_NativeString(1024);
+ int n = read(*self, c, 1023);