type A is ('B', 'C', 'D');
