Regenerate files ( 40c22a48d15470e1f04a5c049744baf7d8232db1 )