I have this core.typed code and