typedef struct type Type;

int value(Type t);