ken thompson & dennis ritchie, colleagues at bell labs, teamed up & wrote the second version of which operating system?