or perhaps, to MAX_EXECEPTION_LENGTH-2, and append a `:(`?