dehon_doc:inv_0004016