errant_syscall's inventory is currently private.