for now, don't printout all the declarations in C dump file