doc-test & prototype m