//ww:run-exit 3
// Migrated from 700_e2e row 17.
package main;
import os;
fn main() i32 = { return os.write(1, "ok\n".ptr, 3): i32; };