program :: ReadP Program
program = do
  skipSC
  ds <- definitions
  skipSC
  return ds
program :: ReadP Program
program = do
  skipSC
  ds <- definitions
  skipSC
  return ds
program = do
  skipSC
  ds <- definitions
  skipSC
  return ds