Actual source code: basicimpls.h