fn condattr_clock_offset<'mir, 'tcx: 'mir>( ecx: &MiriInterpCx<'mir, 'tcx> ) -> InterpResult<'tcx, u64>