why not write int64_t(c)*num_rows? and same below?