verify $a;
verify "hello", $b;