0000000000400238 <.interp>:
  400238:<----->2f                   <->(bad)..
  400239:<----->6c                   <->insb   (%dx),%es:(%rdi)
  40023a:<----->69 62 36 34 2f 6c 64 <->imul   $0x646c2f34,0x36(%rdx),%esp
  400241:<----->2d 6c 69 6e 75       <->sub    $0x756e696c,%eax
  400246:<----->78 2d                <->js     400275 <SSL_write@plt-0x30eb>
  400248:<----->78 38                <->js     400282 <SSL_write@plt-0x30de>

0000000000400238 <.interp>:
  400238:<----->2f                   <->(bad)
  400239:<----->6c                   <->insb   (%dx),%es:(%rdi)
  40023a:<----->69 62 36 34 2f 6c 64 <->imul   $0x646c2f34,0x36(%rdx),%esp
  400241:<----->2d 6c 69 6e 75       <->sub    $0x756e696c,%eax
  400246:<----->78 2d                <->js     400275 <sem_destroy@plt-0x360b>
  400248:<----->78 38                <->js     400282 <sem_destroy@plt-0x35fe>