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

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

// 400000000010C740: void readonly_builtin()
void readonly_builtin()
{
}

// 400000000010C780: void export_builtin()
void export_builtin()
{
}

// 400000000010C7C0: void shift_builtin()
void shift_builtin()
{
}

// 400000000010CCC0: void source_builtin()
void source_builtin()
{
}

// 400000000010D580: void suspend_builtin()
void suspend_builtin()
{
}

// 400000000010D800: void test_builtin()
void test_builtin()
{
}

// 400000000010D9C0: void times_builtin()
void times_builtin()
{
}

// 400000000010DF80: void trap_builtin()
void trap_builtin()
{
}

// 400000000010E880: void describe_command()
void describe_command()
{
}

// 400000000010F580: void type_builtin()
void type_builtin()
{
}

// 4000000000110080: void ulimit_builtin()
void ulimit_builtin()
{
}

// 4000000000111440: void parse_symbolic_mode()
void parse_symbolic_mode()
{
}

// 4000000000111900: void umask_builtin()
void umask_builtin()
{
}

// 4000000000111D80: void wait_builtin()
void wait_builtin()
{
}

// 4000000000112580: void getopts_reset()
void getopts_reset()
{
}

// 40000000001125C0: void getopts_builtin()
void getopts_builtin()
{
}

// 4000000000113000: void set_login_shell()
void set_login_shell()
{
}

// 40000000001138C0: void reset_shopt_options()
void reset_shopt_options()
{
}

// 4000000000113A40: void get_shopt_options()
void get_shopt_options()
{
}

// 4000000000113BC0: void shopt_listopt()
void shopt_listopt()
{
}

// 4000000000113D00: void set_bashopts()
void set_bashopts()
{
}

// 40000000001142C0: void shopt_setopt()
void shopt_setopt()
{
}

// 4000000000114380: void shopt_builtin()
void shopt_builtin()
{
}

// 4000000000114C80: void parse_bashopts()
void parse_bashopts()
{
}

// 4000000000114DC0: void initialize_bashopts()
void initialize_bashopts()
{
}

// 40000000001169C0: void printf_builtin()
void printf_builtin()
{
}

// 4000000000119D80: void sh_getopt()
void sh_getopt()
{
}

// 400000000011A440: void sh_getopt_restore_state()
void sh_getopt_restore_state()
{
}

// 400000000011A4C0: void internal_getopt()
void internal_getopt()
{
}

// 400000000011AE80: void reset_internal_getopt()
void reset_internal_getopt()
{
}

