This doesn't look right. There is no way to use `auto` anymore.