added lint32_t etc typedefs for convenience