Test Macros
(How to test the functionality of a primitive.)