tizev.c: fixed style issues and some minor interface changes