Title: Separate compilation and module extension