xidl/Spec/Rectify
