     Normalization left 'HiddenResult Int' at the operation result
