/* include/g/v.h
**
** This file is in the public domain.
*/
  /**  Data structures.
  **/
    /* u3_cart: ovum carton.
    */
      struct _u3v_arvo;

      typedef struct _u3v_cart {
        u3_noun               vir;      //  effects of ovum
        c3_o                  did;      //  cart considered for commit?
        c3_o                  cit;      //  cart committed?
        c3_d                  ent_d;    //  event number
        u3p(struct _u3v_cart) nex_p;
      } u3v_cart;

    /* u3v_arvo: modern arvo structure.
    */
      typedef struct _u3v_arvo {
        c3_d    ent_d;                    //  event number
        u3_noun yot;                      //  cached gates
        u3_noun now;                      //  current time, as noun
        u3_noun wen;                      //  current time, as text
        u3_noun sev_l;                    //  instance number
        u3_noun sen;                      //  instance string
        u3_noun own;                      //  owner list
        u3_noun fak;                      //  &=fake XX use c3_o?

        u3_noun sac;                      //  space profiling

        u3_noun roe;                      //  temporary unsaved events
        u3_noun key;                      //  log key, or 0

        u3_noun roc;                      //  kernel core

        struct {                          //  ova waiting to process
          u3p(u3v_cart) egg_p;            //  exit of ovum queue
          u3p(u3v_cart) geg_p;            //  entry of ovum queue
        } ova;
      } u3v_arvo;

    /* u3v_home: all internal (within image) state. 
    */
      typedef struct _u3v_home {
        u3a_road rod_u;                   //  storage state
        u3v_arvo arv_u;                   //  arvo state
      } u3v_home;


  /**  Globals.
  **/
    /* u3_Home / u3H: root of thread.
    */
      c3_global u3v_home* u3v_Home;
#       define u3H  u3v_Home
#       define u3A  (&(u3v_Home->arv_u))

  /**  Functions.
  **/
    /* u3v_do(): use a kernel function.
    */
      u3_noun
      u3v_do(const c3_c* txt_c, u3_noun arg);

    /* u3v_boot(): evaluate boot sequence, making a kernel
    */
      void
      u3v_boot(u3_noun eve);

    /* u3v_start(): start time.
    */
      void
      u3v_start(u3_noun now);

    /* u3v_arm(): load a kernel arm.
    */
      u3_noun
      u3v_arm(const c3_c* txt_c);

    /* u3v_pike(): poke with floating core.
    */
      u3_noun
      u3v_pike(u3_noun ovo, u3_noun cor);

    /* u3v_do(): use a kernel function.
    */
      u3_noun
      u3v_do(const c3_c* txt_c, u3_noun arg);

    /* u3v_wish(): text expression with cache.
    */
      u3_noun
      u3v_wish(const c3_c* str_c);

    /* u3v_numb(): set the instance number.
    */
      void
      u3v_numb(void);

    /* u3v_time(): set the reck time.
    */
      void
      u3v_time(u3_noun now);

    /* u3v_peek(): query the reck namespace.
    */
      u3_noun
      u3v_peek(u3_noun hap);

    /* u3v_poke(): insert and apply an input ovum (protected).
    */
      u3_noun
      u3v_poke(u3_noun ovo);

    /* u3v_tank(): dump single tank.
    */
      void
      u3v_tank(u3_noun blu, c3_l tab_l, u3_noun tac);

    /* u3v_punt(): dump tank list.
    */
      void
      u3v_punt(u3_noun blu, c3_l tab_l, u3_noun tac);

    /* u3v_sway(): print trace.
    */
      void
      u3v_sway(u3_noun blu, c3_l tab_l, u3_noun tax);

    /* u3v_plan(): queue ovum (external).
    */
      void
      u3v_plan(u3_noun pax, u3_noun fav);

    /* u3v_plow(): queue multiple ova (external).
    */
      void
      u3v_plow(u3_noun ova);

    /* u3v_hose(): clear initial ovum queue.
    */
      void
      u3v_hose(void);

    /* u3v_mark(): mark arvo kernel.
    */
      c3_w
      u3v_mark(void);