Aborts the current execution and prints msg. If Smac
was called from Xcoral, control is given back to Xcoral
and msg is printed in a special window (see also
display_message §7.3.13 page ) and the stack of
last called functions is given.