Using __libdw_formptr from C++