Some updates, main_example.tin