window.SIDEBAR_ITEMS = {"mod":["inode","pipe","stdio"],"trait":["File"]};