Symbol: spec_inactive