Predefined READ procedure for constrained arrays