Generated from v1.3.