Included Mocha definition.