Inlined tvm_step() and htab_hash().
Made pointer syntax consistent
Made naming conventions more consistent.