0152.3: split vglobal to vglobal+^global, rename vmachine/ to device/