pub fn success_filter(succ: SysCallSuccess<'_>) -> Result<BlockSuccess<'_>, ()>