This should go into `declaration.h`.