var group__io__constants =
[
    [ "stderr", "group__io__constants.html#ga697e4968984d273562f14bfed155b4a8", null ],
    [ "stdin", "group__io__constants.html#ga0cfa7aea34f3c921036623600e42b21f", null ],
    [ "stdout", "group__io__constants.html#ga44ab38fe66ed7aa87731a2de976017c6", null ]
];