threads__nr
size_t ret = fprintf(fp, "Threads: %zu\n", threads__nr(&machine->threads));
size_t threads__nr(struct threads *threads);