*
* You may redistribute secnet as a whole and/or modify it under the
* terms of the GNU General Public License as published by the Free
*
* You may redistribute secnet as a whole and/or modify it under the
* terms of the GNU General Public License as published by the Free
extern void trivial_regty_init(union regval *v);
extern void trivial_regty_release(union regval *v);
extern void allocate_bytes(union regval *v, size_t sz);
extern void trivial_regty_init(union regval *v);
extern void trivial_regty_release(union regval *v);
extern void allocate_bytes(union regval *v, size_t sz);