NOTE

WalkMotionModel.c is actually C code, NOT C++. The file extension ends
in .cc so that I can compile it with our... interesting... makefile.
