This can be just `@0`.