Update define_constants.v