The RESTRICT option indicates to the compiler that all pointer parameters in some or all functions are disjoint.