int size(str s)
import String;
s
rascal>import String; ok rascal>size("abc"); int: 3 rascal>size(""); int: 0