#ifndef SOCKS_X86_64_INIT_H_
#define SOCKS_X86_64_INIT_H_

#include <stdint.h>

extern int machine_init(uintptr_t arg);

#endif