{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
    // This transparently supports older kernels which don't provide AT_MINSIGSTKSZ
    // so take the higher of the "constant" and auxval.
    libc::MINSIGSTKSZ.max(dynamic_sigstksz as _)