let used_stmts = ref []