CHECK: multiple assignments should be avoided
WARNING: Missing a blank line after declarations