Evaluated set modhash [rmodhash]