fixed type variables