BIPUSH
7
BIPUSH
8
IADD