Patch from Vladimir Shabanov to support implicit passing of 'time' values from server to client

function print() {
  alert("Hi there!");
}

function bar(s) {
  alert("<<" + s + ">>");
}