window.ALL_CRATES = ["controlled_astar","example"];