Adds a failing test and a typedef for @params.
Passes @param assertion.
While loop refactor.