Add 4.1-3 and 4.1-3.cpp.