sat
((|val1| #b1011011000100001))
((|val2| #b1101011000100000))
((|gen_mul| #b0101101000100000))