Symbol: ALLOC_SEQ