add define_constants.v