A contract first code generator for openSDC (http://sourceforge.net/projects/opensdc/)