# Pastebin Tp3YjShz
  1         .file   "return_42.adb"
  2         .text
  3         .align 2
  4         .p2align 4
  5         .globl  _ada_return_42
  6         .type   _ada_return_42, @function
  7 _ada_return_42:
  8 .LFB1:
  9         .cfi_startproc
 10         movl    $42, %edi
 11         jmp     __gnat_set_exit_status@PLT
 12         .cfi_endproc
 13 .LFE1:
 14         .size   _ada_return_42, .-_ada_return_42
 15         .ident  "GCC: (Gentoo Hardened 10.3.1-r1 p3) 10.3.1 20210520"
 16         .section        .note.GNU-stack,"",@progbits