rem: int i;
add: unsigned int i;
context: ui_destroy_window(){  if( amiga_app_icon != NULL )  {    RemoveAppIcon( amiga_app_icon );    amiga_app_icon = NULL;  }    if( amiga_backup != NULL )  {    xfree( amiga_backup );    amiga_backup = NULL;  }  if( amiga_window != NULL )  {    int i;    for( i = 0; i < sizeof( amiga_pens ) / sizeof( amiga_pens[ 0 ] ); ++i )    {      if( amiga_pens[ i ] != -1 )      {        ReleasePen( amiga_window->WScreen->ViewPort.ColorMap, amiga_pens[ i ] );	amiga_pens[ i ] = -1;      }    }    // Restore cursor colors    SetRGB32( &amiga_window->WScreen->ViewPort, 16 + 1,              amiga_cursor_colors[ 0 ],              amiga_cursor_colors[ 1 ],              amiga_cursor_colors[ 2 ] );    SetRGB32( &amiga_window->WScreen->ViewPort, 16 + 3,              amiga_cursor_colors[ 6 ],              amiga_cursor_colors[ 7 ],              amiga_cursor_colors[ 8 ] );    CloseWindow( amiga_window );    amiga_window = NULL;  }  if( amiga_screen != NULL )  {    CloseScreen( amiga_screen );    amiga_screen = NULL;  }}