stdint data types used in slip implementation