Delete reimplementation.h