MODULE Main;

(* test long ident lists *)
TYPE T = {
  a0000, a0001, a0002, a0003, a0004, a0005, a0006, a0007, a0008, a0009, 
  a0010, a0011, a0012, a0013, a0014, a0015, a0016, a0017, a0018, a0019, 
  a0020, a0021, a0022, a0023, a0024, a0025, a0026, a0027, a0028, a0029, 
  a0030, a0031, a0032, a0033, a0034, a0035, a0036, a0037, a0038, a0039, 
  a0040, a0041, a0042, a0043, a0044, a0045, a0046, a0047, a0048, a0049, 
  a0050, a0051, a0052, a0053, a0054, a0055, a0056, a0057, a0058, a0059, 
  a0060, a0061, a0062, a0063, a0064, a0065, a0066, a0067, a0068, a0069, 
  a0070, a0071, a0072, a0073, a0074, a0075, a0076, a0077, a0078, a0079, 
  a0080, a0081, a0082, a0083, a0084, a0085, a0086, a0087, a0088, a0089, 
  a0090, a0091, a0092, a0093, a0094, a0095, a0096, a0097, a0098, a0099, 

  a0100, a0101, a0102, a0103, a0104, a0105, a0106, a0107, a0108, a0109, 
  a0110, a0111, a0112, a0113, a0114, a0115, a0116, a0117, a0118, a0119, 
  a0120, a0121, a0122, a0123, a0124, a0125, a0126, a0127, a0128, a0129, 
  a0130, a0131, a0132, a0133, a0134, a0135, a0136, a0137, a0138, a0139, 
  a0140, a0141, a0142, a0143, a0144, a0145, a0146, a0147, a0148, a0149, 
  a0150, a0151, a0152, a0153, a0154, a0155, a0156, a0157, a0158, a0159, 
  a0160, a0161, a0162, a0163, a0164, a0165, a0166, a0167, a0168, a0169, 
  a0170, a0171, a0172, a0173, a0174, a0175, a0176, a0177, a0178, a0179, 
  a0180, a0181, a0182, a0183, a0184, a0185, a0186, a0187, a0188, a0189, 
  a0190, a0191, a0192, a0193, a0194, a0195, a0196, a0197, a0198, a0199, 

  a0200, a0201, a0202, a0203, a0204, a0205, a0206, a0207, a0208, a0209, 
  a0210, a0211, a0212, a0213, a0214, a0215, a0216, a0217, a0218, a0219, 
  a0220, a0221, a0222, a0223, a0224, a0225, a0226, a0227, a0228, a0229, 
  a0230, a0231, a0232, a0233, a0234, a0235, a0236, a0237, a0238, a0239, 
  a0240, a0241, a0242, a0243, a0244, a0245, a0246, a0247, a0248, a0249, 
  a0250, a0251, a0252, a0253, a0254, a0255, a0256, a0257, a0258, a0259, 
  a0260, a0261, a0262, a0263, a0264, a0265, a0266, a0267, a0268, a0269, 
  a0270, a0271, a0272, a0273, a0274, a0275, a0276, a0277, a0278, a0279, 
  a0280, a0281, a0282, a0283, a0284, a0285, a0286, a0287, a0288, a0289, 
  a0290, a0291, a0292, a0293, a0294, a0295, a0296, a0297, a0298, a0299, 

  a0300, a0301, a0302, a0303, a0304, a0305, a0306, a0307, a0308, a0309, 
  a0310, a0311, a0312, a0313, a0314, a0315, a0316, a0317, a0318, a0319, 
  a0320, a0321, a0322, a0323, a0324, a0325, a0326, a0327, a0328, a0329, 
  a0330, a0331, a0332, a0333, a0334, a0335, a0336, a0337, a0338, a0339, 
  a0340, a0341, a0342, a0343, a0344, a0345, a0346, a0347, a0348, a0349, 
  a0350, a0351, a0352, a0353, a0354, a0355, a0356, a0357, a0358, a0359, 
  a0360, a0361, a0362, a0363, a0364, a0365, a0366, a0367, a0368, a0369, 
  a0370, a0371, a0372, a0373, a0374, a0375, a0376, a0377, a0378, a0379, 
  a0380, a0381, a0382, a0383, a0384, a0385, a0386, a0387, a0388, a0389, 
  a0390, a0391, a0392, a0393, a0394, a0395, a0396, a0397, a0398, a0399, 

  a0400, a0401, a0402, a0403, a0404, a0405, a0406, a0407, a0408, a0409, 
  a0410, a0411, a0412, a0413, a0414, a0415, a0416, a0417, a0418, a0419, 
  a0420, a0421, a0422, a0423, a0424, a0425, a0426, a0427, a0428, a0429, 
  a0430, a0431, a0432, a0433, a0434, a0435, a0436, a0437, a0438, a0439, 
  a0440, a0441, a0442, a0443, a0444, a0445, a0446, a0447, a0448, a0449, 
  a0450, a0451, a0452, a0453, a0454, a0455, a0456, a0457, a0458, a0459, 
  a0460, a0461, a0462, a0463, a0464, a0465, a0466, a0467, a0468, a0469, 
  a0470, a0471, a0472, a0473, a0474, a0475, a0476, a0477, a0478, a0479, 
  a0480, a0481, a0482, a0483, a0484, a0485, a0486, a0487, a0488, a0489, 
  a0490, a0491, a0492, a0493, a0494, a0495, a0496, a0497, a0498, a0499,

  xxx
};

BEGIN
  EVAL BITSIZE (T);
END Main.