Exampla1.4: src/functions/overload-not.cpp