/* synthesized appendix for PLASMA */
/* sparse lines above preserve recovered debugger line numbers where available */

/* ===== slot 0x01 use ===== */
function plasma_use() /* entry=308 class_id=0x052F slot=0x01 */
{
  set_info(0x0207, *(arg_06));
  process_exclude();
  return;
}