Dereferences in VERIFY_VP need to be parenthesised