@extract-defs.cm@ @extract-impls.cm@