Symbol: SEEK4args