proc test_local_export()
var
  v* : Int (* @Error Local symbol 'v' cannot be exported *)
begin
end
end.