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