By submitting this PR, you agree to the following:
[x] This contribution is dedicated to the public domain per the COPYING file included in this distribution. I am waiving any copyright claims with respect to this contribution, and I assert that this contribution is my own creation, and not taken from another work.
By submitting this PR, you agree to the following: