w/o macros: OK. w/o static analysis: OK