Symbol: fsi_pointer_update