let
current_stmt = ref
Kglobal