in TPMCmd/Simulator/src/TPMCmds.c [85:91]
static void Assert (bool cond, const char* msg) { if (cond) return; fputs(msg, stderr); exit(2); }