#include "veriuser.h"

static int
calltf(char *data)
{
    int i;
    char *inst = tf_getinstance();

    for (i = 1; i < 5; i++) {
	io_printf("tf_getp(%d)\t\t-> %d\n", i, tf_getp(i));
	io_printf("tf_igetp(%d,inst)\t-> %d\n", i, tf_igetp(i,inst));
	io_printf("tf_getrealp(%d)\t\t-> %f\n", i, tf_getrealp(i));
	io_printf("tf_igetrealp(%d,inst)\t-> %f\n",
	    i, tf_igetrealp(i,inst));
    }

    return 0;
}

static int sizetf() { return 32; }

s_tfcell veriusertfs[2] = {
  {usertask, 0, 0, sizetf, calltf, 0, "$mytest", 1},
  {0, 0, 0, 0, 0, 0, 0, 0}
};

static void veriusertfs_register(void)
{
      veriusertfs_register_table(veriusertfs);
}

void (*vlog_startup_routines[])() = { &veriusertfs_register, 0 };