#include <stdint.h>

uint64_t str_to_uint64 (const char* s) {
  uint64_t r = 0;

  if (!s)
    return 0;

  while (*s >= '0' && *s <= '9') {
    r = r * 10 + (*s - '0');
    s++;
  }

  return r;
}