

#include "BUILTIN.h"
OBJ __AVoid_2; /* nil */
extern OBJ _AVoid_3(OBJ);OBJ __AVoid_3; /* nil? */

extern OBJ _AVoid_3(OBJ x1) /* nil? */
{OBJ r;
 r=__ABUILTIN_5;
 return r;}


static OBJ _mt_1_0_1(OBJ t,OBJ t1) 
{OBJ r;
 DCCLS(t,1);
 r=(*(OBJ(*)(OBJ))ENTRY(t))(t1);
 return r;}
static OBJ _mt_1_0_1_l(OBJ t,OBJ t1) 
{OBJ r;
 DCCLS(t,1);
 r=(*(OBJ(*)(OBJ))ENTRY(t))(t1);
 COPY(r,1);LZYCLS(t,r);
 return r;}

init_AVoid()
{
 static int visited=0; if(visited) return; visited=1;
 CLS(1,_AVoid_3,__AVoid_3);
 MTH(1,0,1,_mt_1_0_1);LZYMTH(1,0,1,_mt_1_0_1_l);
 PRM1(__AVoid_2);}

