KCC builtins to make program stuck

[h0nzZik]

Sometimes I want to examine the configuration in a particular point of translation/execution of a program, and currently, the only way of doing so I am aware of is to guess the right value of the parameter -ftranslation-depth or the environment variable DEPTH. It would be nice if I could write something like

int main() {
  int x = 1;
  __builtin_kcc_execution_stuck();
}

and the execution (or translation for builtin_kcc_translation_stuck()) would simply get stuck there. It would also be helpful if both kcc and the resulting executable reported the number of steps to stuck.