小 M 在學習矩陣乘法，但是覺得矩陣的乘法很麻煩，不想要動手算，於是想請你幫忙。聰明的你想到可以用程式來解決矩陣乘法的問題，請你動動手幫助小 M 吧！

請在程式碼的第一行引入標頭檔 lib0596.h，並實作以下函數：

• void mat_mul(int n, int m, int k, int mat1[][1000], int mat2[][1000], int result[][1000])：
  • mat1 是一個 $n\times m$ 的矩陣，mat2 是一個 $m\times k$ 的矩陣。
  • 請將 mat1$\cdot$mat2 的結果存到 result 中。

注意請勿在你的程式碼宣告主函式 main() 以及進行任何輸入輸出的動作，否則將會發生不可預期的結果。
題目保證 $1\le n, m\le 1000$ ，且矩陣內每個元素 $a$ 滿足 $-1000\le a\le 1000$。