{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"//"}]}
                // that the ABI is "C".
                // This relies on the checks below to ensure all arguments are integer types and
                // The return argument isn't counted as it goes in its own dedicated register.