Extraction to constants defined in an external module