module T19504 where

error_notLocated = (\ (0,  ) -> (0, undefined))