public abstract class AbstractUnsignedInt extends AbstractInt:
def fct<T extends AbstractUnsignedInt>(value as T) as T: return value