Update coreinterfaces-decl.hh