I could change to use that, but it also removes `shared`. Is that acceptable?