Add defines.v