mutable ident_number = 1