Regenerate files ( 7943fc67df20282dfbb7e5530daaf8e43dbbaf69 )