main
add reexports example
improve side effects analysis to report imported and reexports symbols as side-effect-free