Committing dec.h