Fixed an issue in captbl_del. Added IPC/IPI benchmark (w/
interference). Results looking good so far.