using fixed sized platform free int type