Update edb.hpp