structure double = struct fun init8Array(n:int) = Word8Array.array(n, Word8.fromInt(0)); fun get(m:Word8.word, n:Word8.word) = let val ar = init8Array(2); in Word8Array.update(ar,0,m); Word8Array.update(ar,1,n); ar end ; end;