let
nte_counter : int ref = ref 0