Comment by Leotard6963

So this is the std made for you, and to make it compile, you have to import the runtime package explicitly.