Define 
    q(n: Integer): Integer by

    q(n) = count |
      Let count: Integer = 1.
      Let k: Integer = n.
      While k =/= 1 do
        If k `mod` 2 == 0 then
          Relet k = k `div` 2.
        else
          Relet k = 3 * k + 1.
        %If
        Relet count = count + 1.
      %While
  %Define