CHECK: multiple assignments should be avoided