Agda-2.3.2.2: test/fail/NoSuchModule.agda

module NoSuchModule where

open X