sls1005 Sat, 26 Nov 2022 23:00:15 -0800
Oops... I can only `cast` variables with the same size, right?
