let
is_pass1 res = (res.mode =
Pass1
)