This should not be aliased