Increase performance by avoiding unnecessary deferencing. * spot/mc/bloom_filter.hh: implementation here