examples: Native.Error.throw -> raise