module NoSuchBuiltinName where

postulate X : Set

{-# BUILTIN FOOBAR X #-}