Hairy, especially because most of us haven't done systems programming like that, but how cool is it to see "(without-interrupts ..."??