import Lean.Util.TestExtern
import TestExtern.BadExtern

test_extern Nat.add 4 5
test_extern Nat.not_add 4 5