window.ALL_CRATES = ["hamming_rs"];