'pile drive' definitions: