{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"machine's"}]}
machine's state, and a `#[ffi_const]` function cannot be `#[ffi_pure]`.
A `#[ffi_const]` function that returns unit has no effect on the abstract