proc test_local_export()
const
  c* := 42 (* @Error Local symbol 'c' cannot be exported *)
return

end.