{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"//"}]}
    //
    // to set page permissions and flush caches, returning 0 on success and 1 on error.
    // `Opaque` will be passed to the callbacks.