rewritten raext/raint and ov/uv