to be done after #185 is merged TODO - [x] package `libepic` (#199) - [x] connect `processEPIC` to the rest of the proof of `processPkt` - [ ] `processEpic`