H[P]TTL should be marked as NONDETERMINISTIC_OUTPUT just like [P]TTL.
Attach a file by drag & drop or click to upload