Group 
  structure Main
is
  $cml/basis.cm
  $cml/cml.cm
  ping-pong.sml