let r = []; x = builtins.throw r; in x