// -*- mode: c++ -*-