Use the platform independent types