Updated (modules removed)
Now I understand what are asserts for
From now one macro can call another