A new VHSL record