fixed type specs