janestreet/core_kernel — pull request #10 by hannesm (2014-06-16 09:03:04+00:00)
Title: int64_t is defined in stdint.h, thus including stdint.h here.

otherwise, core_kernel fails to compile on FreeBSD