to make it compilable with -Werror and -DNDEBUG