there are different things which can be aborted; TCP_ABORT was there first … (this file is not intended for laymen in any case)