Issue3932.agda:13,5-15,12
mutual blocks in mutual blocks are not supported. Suggestion: get
rid of the mutual block by manually ordering declarations
when scope checking the declaration
  module M where
Issue3932.agda:23,5-24,14
mutual blocks in mutual blocks are not supported. Suggestion: get
rid of the mutual block by manually ordering declarations
when scope checking the declaration
  module N where
Issue3932.agda:29,5-6
The following names are declared but not accompanied by a
definition: A
when scope checking the declaration
  module O where
Issue3932.agda:31,5-32,14
mutual blocks in mutual blocks are not supported. Suggestion: get
rid of the mutual block by manually ordering declarations
when scope checking the declaration
  module O where
