Jane Street header files
