__xpush
(void) __xpush(0, ++ep);
(void) __xpush(0, ep + i + 2);
(void) __xpush(0, ++ep);
(void) __xpush(0, ++ep);
(void) __xpush(1, curlp = lp);
(void) __xpush(1, lp = dp);
(void) __xpush(0, ep + i);
(void) __xpush(1, curlp = lp);
(void) __xpush(1, lp = (char *)i);
extern intptr_t __xpush(intptr_t, char *);