Currently it just concatenates annotations using (++), which means we can get two CallStack annotations in an exception.