Definitions for movement.h