window.ALL_CRATES = ["os"];