These should probably come from a header file.