No need for <assert.h>