namespace Bitvault;

public record Locked;