function ionic_use() /* entry=305 class_id=0x052E slot=0x01 */
{
  entry:
    set_info(0x0207, *(arg_06));
    process_exclude();
    return;

}
