Update lulesh-util.ads