#eval tactic.trace 42
#eval (tactic.fail "nope" : tactic nat)
