You need to leave it here because it's a standalone file, you need to load the stdlib.