proc test_local_export()
var
  v* : Int (* @Error Local symbols cannot be exported *)
return

end.