core :: Reader :: read
i
# Reads a String of at most `i` length fun read(i: Int): String do assert i >= 0 var cs = new CString(i) var rd = read_bytes_to_cstring(cs, i) if rd < 0 then return "" return codec.decode_string(cs, rd) end