text: 
  extern unsigned char _elf___test_test_shell_elf[];
  int _length___test_test_shell_elf;
  extern unsigned char _elf___test_fly_elf[];
  int _length___test_fly_elf;
  extern unsigned char _elf___test_rw_elf[];
  int _length___test_rw_elf;
  extern unsigned char _elf___test_lock_elf[];
  int _length___test_lock_elf;
  extern unsigned char _elf___test_mailbox_elf[];
  int _length___test_mailbox_elf;
  extern unsigned char _elf___test_swap_elf[];
  int _length___test_swap_elf;
  extern unsigned char _elf___test_consensus_elf[];
  int _length___test_consensus_elf;
  extern unsigned char _elf___test_threadadd_elf[];
  int _length___test_threadadd_elf;
  extern unsigned char _elf___test_processadd_elf[];
  int _length___test_processadd_elf;
  extern unsigned char _elf___test_fork_elf[];
  int _length___test_fork_elf;
  extern unsigned char _elf___test_recv_elf[];
  int _length___test_recv_elf;
  extern unsigned char _elf___test_send_elf[];
  int _length___test_send_elf;
  extern unsigned char _elf___test_test_fs_elf[];
  int _length___test_test_fs_elf;
  typedef struct ElfFile {
    char *file_name;
    unsigned char* file_content;
    int* file_length;
  } ElfFile;
  
  #define ELF_FILE_NUM 13
  extern ElfFile elf_files[13];
  extern int get_elf_file(const char *file_name, unsigned char **binary, int *length);
  