Listing 2

#include <stdio.h>
void Throw(int ex_code, char const* file, int line) 
{  fprintf(stderr, "int exception %d at %s(%d)\n", ex_code, file, line);
   throw ex_code;
}