Create a woodpecker script that takes 16-bit a and 16-bit b and calculates the 16-bit product modulo 2**16 - 17 (65519) (a*b) % (2**16-17).
a<65519, b<65519 is guaranteed.
<low a hi> | <low b hi> | <low output hi>
------------------------------------------------------
0000000000000000 | 0000000000000000 | 0000000000000000
1000000000000000 | 1000000000000000 | 1000000000000000
0010000000000000 | 1111000000000000 | 0011110000000000
1010001000000000 | 0010010110000000 | 0010110010001110
1001110011011000 | 0010010110000000 | 0000111000110101
0111011111111111 | 0111011111111111 | 1000000000000000