// global types