halting lambda must be instance execed