=================
Possible Solution                                                       [TOC]
=================

We only show here the benchmark result for `-O3`.


Benchmark for unmodified code
=============================

---- SHELL(path=session10, hostname=heim) --------------------------------------
gcc -Wall -std=c11 -O3 -o bench_init bench_init.c
./bench_init
--------------------------------------------------------------------------------

Benchmark for modified code
===========================

---- SHELL(path=session10, hostname=heim) --------------------------------------
gcc -Wall -std=c11 -O3 -o bench_init_sol bench_init_sol.c
./bench_init_sol
--------------------------------------------------------------------------------