function free_slot_25() /* entry=382 class_id=0x0A0C slot=0x25 */
{
  set_info(0x0224, global[0x003C]);
  /* pop_global global_id=0x6 size=0x1 */
  FREE.slot_33(0, 0x0224, 0);
  return;
}
