1 2 3 4 5 6
proc test_local_export() var v* : Int (* @Error Local symbol 'v' cannot be exported *) begin end end.