I'd be happy to remove it if it proves to prevent inlining. But it has been quite useful when working on this PR. :)