VOID APIENTRY ExitProcedure (ULONG Termination_code)
{
  ...
}
