Symbol: ce4231_set_outputs