; error: 2:1: only def and assert may come before the final expression of a body (f 1) 2