#include "write_elf.c"

int
main(int argc, char* argv[]) {
  char opcodes[] = {};
  write_elf("test.out", some_opcodes_len, some_opcodes);
  return 0;
}