(compiler: pl0): update todo.