$def with (name="World", times=1) $for i in range(times): $_.hello, $name!