int64_t dmuls(int32_t dat1, int32_t dat2) { return (int64_t)dat1 * (int64_t)dat2; }