{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
                // This relies on the checks below to ensure all arguments are integer types and
                // FIXME: Add support for non-integer types
                // that the ABI is "C".