All tests rewritten on jasmin syntax.