* (time_fateman_expand.cpp): new file.