3.3.1.3.2 limited types