This is file @code(ok_include_2.txt).
