What is the difference between val_to_bv and raw_to_bv in Angr?
I read about this from here. but I don\'t understand accurately!