mixed direct_crawl_str(string str) {
    return 1;
}

mixed direct_crawl_into_str(string str) {
    return 1;
}