inWord64 :: ArgIn Word64
inWord64 f  = 
   let
    (hi,lo) = toInteger f `divMod` (toInteger (maxBound :: Int) + 1)
   in
   writeVarWord64 (fromInteger hi) (fromInteger lo)
inWord64 :: ArgIn Word64
inWord64 f  = 
   let
    (hi,lo) = toInteger f `divMod` (toInteger (maxBound :: Int) + 1)
   in
   writeVarWord64 (fromInteger hi) (fromInteger lo)
inWord64 f  = 
   let
    (hi,lo) = toInteger f `divMod` (toInteger (maxBound :: Int) + 1)
   in
   writeVarWord64 (fromInteger hi) (fromInteger lo)