// switch_plt.c
// Generated by decompiling switch
// using Reko decompiler version 0.11.6.0.

#include "switch.h"

// 00008314: void abort()
void abort()
{
}

// 00008324: void __libc_start_main()
void __libc_start_main()
{
}

