import "io" let strcpy(dst, src) be { let i = 0; while true do { let c = byte i of src; if c = 0 then break; byte i of dst := c; i +:= 1 } } let start() be { let buffer = vec 128; let x; buffer ! 0 := 17; buffer ! 1 := 199; buffer ! 2 := 3.14; buffer ! 3 := 8; x := devctl(DC_DISC_WRITE, 1, 3, 1, buffer); out("first write: %d\n", x); strcpy(buffer, "the cat sat on the mat."); x := devctl(DC_DISC_WRITE, 1, 7, 1, buffer); out("second write: %d\n", x); }