bin/potion -I -X test/flow/callcc.pn overwrites the stack with certain compilers, -O settings
and with certain (unknown) environmental conditions (hard to repro).
Now checked by

    if (exec >= MAX_EXEC)
      potion_fatal("fatal: stack overwrite (exec > MAX_EXEC)\n");