Title: Separate compilation, definition modules, and block-structured languages