The toString(uint256) is not implemented in Simbolik; this is currently blocking debugging Optimim's SaferSafe.t.sol:SaferSafes_Uncategorized_Test.test_configure_livenessModuleFirst_succeeds() function.
https://github.com/ethereum-optimism/optimism/blob/develop/packages/contracts-bedrock/test/safe/SaferSafes.t.sol#L70