svoid test_tok_newWith() {
  testTranspilationFunction2 tok_newWith(
    [[
      ret new Test with
        value = randomByte(),
        length = random(maxLength);
    ]],
    [[
      ret 
    ]]
  );
}