added check-expect