compilation with -NDEBUG