import angr
import claripy

proj = angr.Project("./messenger", auto_load_libs=False,     main_opts={'base_addr': 0x00100000},)
func_addr = 0x00101406
sym_arg = claripy.BVS("damn_son", 64)

state = proj.factory.callable(func_addr)
res = state(sym_arg)

state.result_state.add_constraints(state.result_state.regs.rax == 0x5c6ab823e810a060)  # pyright: ignore[reportOptionalMemberAccess]
thing = (state.result_state.solver.eval(sym_arg))
print(thing)
print(hex(thing))