[diagnostics] value =