void do_tests() {
    ASSERT(catch(crc32(0)));
    ASSERT(intp(crc32("foobarbazz")));
}