{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//!"}]}
//! 128-bit integers on 32-bit platforms and thus require to be handled manually.
//! This module exists because some integer types are not supported on some gcc platforms, e.g.