added (yet incomplete) comment for die() function