In case you have ever wondered what happens when your tokens expire while running Cadence:

joshua@h2so4:/afs/ece/usr/jwise/ece322$ ./322cad
[...]
All the saved panic files were logged in panic.log in your home directory
Bus error
joshua@h2so4:/afs/ece/usr/jwise/ece322$
joshua@h2so4:/afs/ece/usr/jwise/ece322$ ls
ls: cannot open directory .: Permission denied
joshua@h2so4:/afs/ece/usr/jwise/ece322$ kinit
jwise@ECE.CMU.EDU's Password:
joshua@h2so4:/afs/ece/usr/jwise/ece322$ aklog ece
joshua@h2so4:/afs/ece/usr/jwise/ece322$ cat /home/joshua/panic.log
joshua@h2so4:/afs/ece/usr/jwise/ece322$

Whoops.