var s = read(String);
var i = read(Number);    # auto-conversion to a number