main() finalization 1