type enumerated FrameNumber {
  e_frame1 ( 0 ),
  e_frame2 ( 1 ),
  e_frame3 ( 3 ),
  e_frame4 ( 4 )
} with {  
  encode "2 bits"
}
Generated with T3Doc 2.0 on Fri Feb 22 17:24:44 CET 2008.