{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"That"}]}
That is, `#[ffi_pure]` functions shall have no effects except for its return
value, which shall not change across two consecutive function calls with