Agda-2.3.2.2: test/fail/NoSuchBuiltinName.err
NoSuchBuiltinName.agda:5,1-25 There is no built-in thing called FOOBAR when checking the pragma BUILTIN FOOBAR X
NoSuchBuiltinName.agda:5,1-25 There is no built-in thing called FOOBAR when checking the pragma BUILTIN FOOBAR X