You should use `// WITH_RUNTIME` in this and all other tests where you use standard library functions to avoid errors