#         j := way * TLB_PTE_BITS;
  #         ptes(j + TLB_PTE_BITS - 1 downto j) := newpte;
  #     end;
 -#
 +        def write_tlb_pte(way=TLBWay(), ptes=TLBWayPtes(),
 +         newpte=TLBPte()):
 +
 +            j = Signal()
 +
 +            j = way * TLB_PTE_BITS
 +            return ptes[j:j + TLB_PTE_BITS] = newpte
 +
  # begin
  #
+ """these, because they are constants, can actually be done *as*
+    python asserts:
+    assert LINE_SIZE % ROWSIZE == 0, "line size not ...."
+ """
  #     assert LINE_SIZE mod ROW_SIZE = 0
  #      report "LINE_SIZE not multiple of ROW_SIZE" severity FAILURE;
  #     assert ispow2(LINE_SIZE)