Symbol: plic_set_threshold