Purged custom typedefs in favor of stdint.h