<commit_before><commit_msg>Forbid strtoul<commit_after>extern void klee_warning_once(const char *);
void klee_silent_exit(int) __attribute__((noreturn));

unsigned long strtoul(const char *nptr, char **endptr, int base)
{
    *nptr;
    if (endptr)
        *endptr;
	klee_warning_once("unsupported function model");
    klee_silent_exit(1);
}
{'fraction_non_alphanumeric': 0.11695906432748537, 'fraction_numerical': 0.0029239766081871343, 'mean_word_length': 5.86, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5151834', 'n_tokens_mistral': 125, 'n_tokens_neox': 122, 'n_words': 25}