This vector currently doesn't do anything with side channels. I think that's fine, though: we need to figure out what to do with them (#471 and #472).