Added frozen counter type & code generation