#ifndef __MACROS_H

#define POINTED_FORMULA(c) \
	(Pointed c)
#define POINTED_TERM(c) \
	(Pointed c)
#endif