Pathways from actors to FFI for the verification storage subsystem