special-case for EXAMPLE, instead of check-expect