Sat in on 312 so's I know where Bob is leaving off so I can pick up for him next Tuesday while he's gone at POPL.

Nasty issues popping up in HLF implementation. Still, it is closer than ever to working. I mean, it is presently working in its own little wonky way, but it requires quite a bit more progress.