bash's eval builtin