// elf-Linux-ia64-bash_text_nE.c
// Generated by decompiling elf-Linux-ia64-bash
// using Reko decompiler version 0.11.6.0.

#include "elf-Linux-ia64-bash.h"

// 40000000000FDCC0: void history_builtin()
void history_builtin()
{
}

// 40000000000FEEC0: void jobs_builtin()
void jobs_builtin()
{
}

// 40000000000FF780: void disown_builtin()
void disown_builtin()
{
}

// 40000000000FFDC0: void kill_builtin()
void kill_builtin()
{
}

// 4000000000100840: void let_builtin()
void let_builtin()
{
}

// 4000000000100AC0: void mapfile_builtin()
void mapfile_builtin()
{
}

// 4000000000101D00: void dirs_builtin()
void dirs_builtin()
{
}

// 40000000001029C0: void popd_builtin()
void popd_builtin()
{
}

// 4000000000103080: void pushd_builtin()
void pushd_builtin()
{
}

// 4000000000103B80: void get_dirstack_from_string()
void get_dirstack_from_string()
{
}

// 4000000000103D80: void set_dirstack_element()
void set_dirstack_element()
{
}

// 4000000000103EC0: void get_directory_stack()
void get_directory_stack()
{
}

// 4000000000104680: void read_builtin()
void read_builtin()
{
}

// 40000000001084C0: void return_builtin()
void return_builtin()
{
}

// 4000000000108DC0: void minus_o_option_value()
void minus_o_option_value()
{
}

// 4000000000108FC0: void list_minus_o_opts()
void list_minus_o_opts()
{
}

// 4000000000109240: void get_minus_o_opts()
void get_minus_o_opts()
{
}

// 4000000000109300: void set_minus_o_option()
void set_minus_o_option()
{
}

// 4000000000109580: void set_shellopts()
void set_shellopts()
{
}

// 4000000000109AC0: void parse_shellopts()
void parse_shellopts()
{
}

// 4000000000109BC0: void initialize_shell_options()
void initialize_shell_options()
{
}

// 4000000000109D40: void reset_shell_options()
void reset_shell_options()
{
}

// 4000000000109DC0: void set_builtin()
void set_builtin()
{
}

// 400000000010A500: void unset_builtin()
void unset_builtin()
{
}

// 400000000010ACC0: void show_var_attributes()
void show_var_attributes()
{
}

// 400000000010B5C0: void show_all_var_attributes()
void show_all_var_attributes()
{
}

// 400000000010B780: void show_name_attributes()
void show_name_attributes()
{
}

// 400000000010B8C0: void set_var_attribute()
void set_var_attribute()
{
}

// 400000000010BDC0: void set_or_show_attributes()
void set_or_show_attributes()
{
}

