/** @externs */
var window = {};
window.demoHello = function(name) {};