loop because, e.g., the compiler might decide to unroll the
	loop when passed a constant, etc.