1	import Base
2	
3	# Pure SSTable filename policy, shared by the flush effect and its laws.
4	def table_name(flushed: Nat) -> String:
5	  "l0-" ++ Nat.show(flushed) ++ ".tbl"