w/o macros: ok. w/o static analysis: in progress, only works without interpretation.