let
used_stmts = ref []