Symbol: SEQUENCE4res