Oops, legacy stdint instead