[] reference-proof wrl