BCAS DEFINITIONS ::= BEGIN 

        BBCard ::= SEQUENCE { 
                name IA5String (SIZE (1..60)), 
                team IA5String (SIZE (1..60)), 
                age INTEGER (1..100), 
                position IA5String (SIZE (1..60)), 
                handedness ENUMERATED 
                        {left-handed(0), right-handed(1), ambidextrous(2)}, 
                batting-average REAL --<DECIMAL>-- 
        } 

        myCard BBCard ::= { 
                name "Casey", 
                team "Mudville Nine", 
                age 32, 
                position "left field", 
                handedness ambidextrous, 
                batting-average {mantissa 250, base 10, exponent -3} 
        } 

END