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