type: number
description: Failed precondition
enum: [9]