let idx = function | UInt8 -> 0 | SInt8 -> 1 | UInt16 -> 2 | SInt16 -> 3 | UInt32 -> 4 | SInt32 -> 5 | UInt64 -> 6 | SInt64 -> 7