exit_(int *code)
{
  exit(*code);
}