Moved to proper code prettify, while writing the store buffer example