// retpoline_stripped_plt.c
// Generated by decompiling retpoline_stripped.elf
// using Reko decompiler version 0.11.6.0.

#include "retpoline_stripped.h"

<anonymous> g_t400456 = <code>; // 0000000000400456
<anonymous> g_t400466 = <code>; // 0000000000400466
<anonymous> g_t400476 = <code>; // 0000000000400476
