a small clarification of the definition of whitebox macros