let get_stmt_state = Db.Value.get_stmt_state