0x0040007c  0x01014025  or $8,$8,$1