#include struct term *reduce(struct term *term) { return term; }