changed types in messageformat to stdint types to improve portability