let
var_seqno = ref 0