I think we should add a license/copyright text in this file, and provide the origin of this code.