Library
  signature TIMING
  structure Timing
  signature TWELF
  structure Twelf
is
  src/frontend/sources.cm