ADD: set_tiny1, synthetic
Polish
Ignore generated files