Vcores are unmapped by message receivers