type enumerated FrameNumber { e_frame1 ( 0 ), e_frame2 ( 1 ), e_frame3 ( 3 ), e_frame4 ( 4 ) } with { encode "2 bits" }