Issue481NonExistentModule.agda:4,1-34
Failed to find source of module NonExistentModule in any of the
following locations:
  ../NonExistentModule.agda
  ../NonExistentModule.lagda
  NonExistentModule.agda
  NonExistentModule.lagda
  agda-default-include-path/NonExistentModule.agda
  agda-default-include-path/NonExistentModule.lagda
when scope checking the declaration
  import NonExistentModule as .#NonExistentModule-4156777100598845688
