This is part of the header file.