{
    "": "Undefined behavior results if the decorator modifies the fields"
}