#include "element.h" #include <stdio.h> void element_print(Element element) { printf("%d", element); }