let current_stmt = ref Kglobal