SOURCE_CODES
  ENABLED start
  ENABLED dead
END_OF_SOURCE_CODES
