import "io" let ins(string, veclen) be { let max = (veclen-1)*4; let length = 0; while length < max do { let c = inch(); if c = '\n' then break; byte length of string := c; length +:= 1 } byte length of string := 0; resultis string } let start() be { let string = vec 51; out("type something: "); ins(string, 51); out("you typed '%s'\n", string) }