void
 CloseDatabase(DbInfo_t dbInfo /* database info object */)
 {
    saf_close_database(dbInfo.db);
 }