re-added <cassert> header