{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
    // See https://github.com/ARM-software/abi-aa/blob/master/aapcs64/aapcs64.rst
    // There is no padding between fields since `void*` is size=8 align=8, `int` is size=4 align=4.
    // Table 1, Byte size and byte alignment of fundamental data types