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

#include "retpoline_stripped.h"

// 0000000000400428: void fn0000000000400428()
void fn0000000000400428()
{
	if (__gmon_start__ != 0x00)
		__gmon_start__();
}

