Thank you.
After I setup the appointment, somebody from IRS called me and asked me to bring two signed copies of 1040-C. It skipped my mind to ask whether these were like printed copies of an official filing. But, it looks like I just need to fill the form twice and take it to the appointment.
