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