better symbols dump and code cleanup