Symbol: vfb_read4