(imul64 #x12341234 #x12341234)