Agda-2.3.2.2: test/fail/customised/Imports/A.agda

module A where