{-# LANGUAGE CPP #-}
module Agda.ImpossibleTest where

#include "undefined.h"
import Agda.Utils.Impossible

impossibleTest = __IMPOSSIBLE__