// 22 april 2015
#include <stdlib.h>
#include <stdint.h>
#include "../ui.h"
// spaced.c
extern void setSpaced(int);
extern uiBox *newHorizontalBox(void);
extern uiBox *newVerticalBox(void);