from seahorse.prelude import *


class MoreData:
    num: i32

    def __init__(self, num: i32):
        self.num = num