{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"const"}]}
const PAGE: usize = 4096;
// the usual sizes of pages and huge pages on Linux.
const HUGE_PAGE: usize = 2 * 1024 * 1024;