String eval(String str) { final strPtr = str.toNativeUtf8(); try { final result = _z3.eval_smtlib2_string(strPtr.cast()); return result.cast<Utf8>().toDartString(); } finally { malloc.free(strPtr); } }