SOURCE_CODES
  ENABLED Mani
END_OF_SOURCE_CODES
