1 2 3 4 5
let v = read_public_input() let s = read_secret_input() assert_eq(v, s) write_output(v * s)