// Empty, but will be used in #1832 PR