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

}
