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