The non-standard core files used by codebender compiler