implicitdefs.patch
