code: def _load32(ins):
      
      output = _32bit_oper(ins.quad[2])
      output.append('push de')
      output.append('push hl')
      return output
docs: Load a 32 bit value from a memory address
      If 2nd arg. start with '*', it is always treated as
      an indirect value.