Added pure, nothrow and @ tags.