1 2 3 4 5 6 7 8 9 10 11 12
var x: Int proc v() return program() begin x := v() (* @Error Expected type 'Int', but the expression has no value *) return 0u8 end.