[] $s
 getitem $s x
 getitem $s y
 + x y
 y []