[TUHS] B and BCPL