from min_artiq import *
from numpy import int32

@nac3
class NameManglingTest:
    core: KernelInvariant[Core]
    __var1: int32
    __var2__: int32
    __: int32

    def __init__(self):
        self.core = Core()
        self.__var1 = 42
        self.__var2__ = 10
        self.__ = 99

    @rpc
    def get_var1(self) -> int32:
        return self.__var1

    @rpc
    def get_var2(self) -> int32:
        return self.__var2__ 

    @rpc
    def get_var3(self) -> int32:
        return self.__ 

    @kernel
    def run(self):
        assert self.get_var1() == 42 
        assert self.get_var2() == 10 
        assert self.get_var3() == 99  


if __name__ == "__main__":
    NameManglingTest().run()