#include "labeled.h"