/* See fboxlist.h */
/* Last edited on 2003-01-02 06:02:34 by stolfi */

#include "fbox.h"
#include "fboxlist.h"
#include "js.h"
#include "stdlib.h"

FBoxList fbox_cons(FBox *b, FBoxList L)
  { void *v = notnull(malloc(sizeof(FBoxListNode)), "no mem for FBoxListNode");
    FBoxListNode *c = (FBoxListNode *)v;
    c->b = b;
    c->next = L;
    return c;
  }