I removed this because it's only used in one place and there's too much extra indirection in the code hints code already...