proc matmult(n1: int, n2: int, n3: int) returns ()
var i: int, j: int, k: int;
begin
  i = 1;
  while i <= n1 do
    j = 1;
    while j <= n2 do
      k = 1;
      while k <= n3 do
        skip;
      done;
      j = j+1;
    done;
    i = i+1;
  done;
end

var
  n1: int, n2: int, n3: int;
begin
  () = matmult(n1, n2, n3);
end;
