*** catbtor: parse error in 'maxlen.in' line 1: number exceeds maximum bit width of 2147483647