$use Box Convert Static StdIO;

$box B;

Main =
  <To-Chars <Box &B>> : '<Box|' e '|' e '>',
  <PrintLN &B>,
  <PrintLN <Name &B>>;