#NEWLINE# def __init__( self , name , init_field_cnt , auto_field_cnt , auto_v , mutables , super_key ) : #NEWLINE# #INDENT# self . name = name #NEWLINE# self . init_field_cnt = init_field_cnt #NEWLINE# self . auto_field_cnt = auto_field_cnt #NEWLINE# self . auto_v = auto_v #NEWLINE# self . mutables = mutables #NEWLINE# self . super_key = super_key