Make external check be on an #%expression.