tcCoerceLocally in while