fn condattr_get_clock_id<'tcx>( ecx: &MiriInterpCx<'tcx>, attr_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, i32>