i was in 1127 in 1981 (for an internship) and then from 1983 onwards. the only B code i saw or knew of was the driver code that ran in the Linotron typesetter. it ran on an 8in floppy and my recollection is that the thing that mattered most was its very small run-time support. i’m pretty sure it was Ken’s code but i never knew any other details.