Extractions are made outside of any module to prevent warnings