window.SIDEBAR_ITEMS = {"constant":["BACKEND","BAD_FD","BECOME_INACCESSIBLE","DASH","DEV_PTMX","DEV_STDIN","DEV_TTY","FD0","IS_A_DIRECTORY","NO_FILES_REMAINING","NO_SUCH_FILE","STDIN_HEADER"]};