// generated stub