Version 0.0.4
Tool call: list_functions with args: {} succeeded
Tool call: decompile_function with args: {"name":"CheckSolution"} succeeded
Tool call: decompile_function with args: {"name":"main"} succeeded