112.01.00 of Jane Street's core_kernel (https://github.com/janestreet/core_kernel)
