module GecodeRaw