#include <lean/lean.h>

lean_obj_res lean_test_answer()
{
    return lean_io_result_mk_ok(lean_int_to_int(42));
}