Translations of Jason Fox's blackboard C code