The input to the encoder ...

value BBCard ::= 
{
  name "Casey",
  team "Mudville Nine",
  age 32,
  position "left field",
  handedness ambidextrous,
  batting-average 250E-3
}

The encoder's trace messages ...

BBCard SEQUENCE: tag = [UNIVERSAL 16] constructed; length = 50
  name IA5String: tag = [UNIVERSAL 22] primitive; length = 5
    "Casey"
  team IA5String: tag = [UNIVERSAL 22] primitive; length = 13
    "Mudville Nine"
  age INTEGER: tag = [UNIVERSAL 2] primitive; length = 1
    32
  position IA5String: tag = [UNIVERSAL 22] primitive; length = 10
    "left field"
  handedness ENUMERATED: tag = [UNIVERSAL 10] primitive; length = 1
    2
  batting-average REAL: tag = [UNIVERSAL 9] primitive; length = 8
    "250.E-3"
Card encoded.
The encoded data is:
30321605 43617365 79160D4D 75647669 6C6C6520 4E696E65 02012016 0A6C6566
74206669 656C640A 01020908 03323530 2E452D33 

The decoder's trace messages ...

BBCard SEQUENCE: tag = [UNIVERSAL 16] constructed; length = 50
  name IA5String: tag = [UNIVERSAL 22] primitive; length = 5
    "Casey"
  team IA5String: tag = [UNIVERSAL 22] primitive; length = 13
    "Mudville Nine"
  age INTEGER: tag = [UNIVERSAL 2] primitive; length = 1
    32
  position IA5String: tag = [UNIVERSAL 22] primitive; length = 10
    "left field"
  handedness ENUMERATED: tag = [UNIVERSAL 10] primitive; length = 1
    2
  batting-average REAL: tag = [UNIVERSAL 9] primitive; length = 8
    "250.E-3"
Card decoded.
Casey of the Mudville Nine has a batting average of 250.E-3
Output from the decoder ...

value BBCard ::= 
{
  name "Casey",
  team "Mudville Nine",
  age 32,
  position "left field",
  handedness ambidextrous,
  batting-average 250E-3
}

Changed card is the input to the encoder ... 
value BBCard ::= 
{
  name "Casey",
  team "Mudville Ten",
  age 33,
  position "left field",
  handedness ambidextrous,
  batting-average 026E-2
}

The encoder's trace messages ...

BBCard SEQUENCE: tag = [UNIVERSAL 16] constructed; length = 46
  name IA5String: tag = [UNIVERSAL 22] primitive; length = 5
    "Casey"
  team IA5String: tag = [UNIVERSAL 22] primitive; length = 12
    "Mudville Ten"
  age INTEGER: tag = [UNIVERSAL 2] primitive; length = 1
    33
  position IA5String: tag = [UNIVERSAL 22] primitive; length = 10
    "left field"
  handedness ENUMERATED: tag = [UNIVERSAL 10] primitive; length = 1
    2
  batting-average REAL: tag = [UNIVERSAL 9] primitive; length = 5
    "0.26"
Card encoded.
The encoded data is:
302E1605 43617365 79160C4D 75647669 6C6C6520 54656E02 0121160A 6C656674
20666965 6C640A01 02090502 302E3236 

The decoder's trace messages ...

BBCard SEQUENCE: tag = [UNIVERSAL 16] constructed; length = 46
  name IA5String: tag = [UNIVERSAL 22] primitive; length = 5
    "Casey"
  team IA5String: tag = [UNIVERSAL 22] primitive; length = 12
    "Mudville Ten"
  age INTEGER: tag = [UNIVERSAL 2] primitive; length = 1
    33
  position IA5String: tag = [UNIVERSAL 22] primitive; length = 10
    "left field"
  handedness ENUMERATED: tag = [UNIVERSAL 10] primitive; length = 1
    2
  batting-average REAL: tag = [UNIVERSAL 9] primitive; length = 5
    "0.26"
Card decoded.
Casey of the Mudville Ten has a batting average of 0.26
Output from the decoder ...

value BBCard ::= 
{
  name "Casey",
  team "Mudville Ten",
  age 33,
  position "left field",
  handedness ambidextrous,
  batting-average 026E-2
}