$tok_typ = shift @{$tok_inf};