; File auto-generated, do not edit.