let
noreg x =
MX
.(zeros 1 (col_num x))