updated definitions.hh