tree 0c4cde0d4cad038dc7567d4a9bfbc4749c5aecc6
parent eb012078a37073e99ac2bd297050f5a0ec941f47
author Nico Huber <nico.huber@secunet.com> 1704905997 +0100
committer Nico Huber <nico.huber@secunet.com> 1704906020 +0100

ext2: Use unnecessarily big range type to ease proving