* This file was generated automatically from function.hppy.
* Please do not modify it directly, edit function.hppy instead!
*
* This file was generated automatically from function.hppy.
* Please do not modify it directly, edit function.hppy instead!
*