using primitives

x : N -> N
x _ = $crash "bad dog!"