add vl16 (proof of 7.6 not reviewed)