{
: new

: size

: store_byte store_uint8
: fetch_byte fetch_uint8

: store_uint8
: fetch_uint8

: store_uint16_le
: fetch_uint16_le

: store_uint32_le
: fetch_uint32_le

: store_uint64_le
: fetch_uint64_le

: store_int8
: fetch_int8

: store_int16_le
: fetch_int16_le

: store_int32_le
: fetch_int32_le

: store_int64_le
: fetch_int64_le
}

Where

Define (new num_bytes)
    (Prim scratchpad_new num_bytes)

Define (size scratchpad)
    (Prim scratchpad_size scratchpad)

Define (store_uint8 scratchpad i n)
    (Prim scratchpad_store_uint8 scratchpad i n)

Define (fetch_uint8 scratchpad i)
    (Prim scratchpad_fetch_uint8 scratchpad i)

Define (store_uint16_le scratchpad i n)
    (Prim scratchpad_store_uint16_le scratchpad i n)

Define (fetch_uint16_le scratchpad i)
    (Prim scratchpad_fetch_uint16_le scratchpad i)

Define (store_uint32_le scratchpad i n)
    (Prim scratchpad_store_uint32_le scratchpad i n)

Define (fetch_uint32_le scratchpad i)
    (Prim scratchpad_fetch_uint32_le scratchpad i)

Define (store_uint64_le scratchpad i n)
    (Prim scratchpad_store_uint64_le scratchpad i n)

Define (fetch_uint64_le scratchpad i)
    (Prim scratchpad_fetch_uint64_le scratchpad i)

Define (store_int8 scratchpad i n)
    (Prim scratchpad_store_int8 scratchpad i n)

Define (fetch_int8 scratchpad i)
    (Prim scratchpad_fetch_int8 scratchpad i)

Define (store_int16_le scratchpad i n)
    (Prim scratchpad_store_int16_le scratchpad i n)

Define (fetch_int16_le scratchpad i)
    (Prim scratchpad_fetch_int16_le scratchpad i)

Define (store_int32_le scratchpad i n)
    (Prim scratchpad_store_int32_le scratchpad i n)

Define (fetch_int32_le scratchpad i)
    (Prim scratchpad_fetch_int32_le scratchpad i)

Define (store_int64_le scratchpad i n)
    (Prim scratchpad_store_int64_le scratchpad i n)

Define (fetch_int64_le scratchpad i)
    (Prim scratchpad_fetch_int64_le scratchpad i)