Process dest_binary and mk_binary functions
Eliminate exceptions from variants