mutable current_stmt = Kglobal