Generated code from  f24635735c4eb431cd353c64d67a2de4cc92c5fa