caveat/crunch_isa.py: introduce header guard