stdint headers and license for third-party crap.