Didn't need const_decl.h