Based on the assumption that (and cmucl pthread) is actually code for