#include "def.h"
#include "defspace.h"
int def_list_is_empty (const defspace_t *space);
int def_list_is_valid (const defspace_t *space);
int free_locs_is_valid (const defspace_t *space);