When Stroustrup started working in AT&T Bell Labs, he ______ (have) the problem of analyzing the UNIX kernel with respect to distributed computing.