Behaviors w/o macros. Branches w/o static analisys in progress (core dump)