Add triple.h