Adding push constant op: t+
Adding push constant op: t+
Adding push constant op: t+
Adding push constant op: t+