Comments on reasons for INT_MAX per-RTE initialization