Added <cassert>