^{* 19} db_get の終了値