fill in loop body