const VDSO = system.VDSO;