pvs -v
pvs -vv
pvs -vvv