Added an under-construction warning, added more on store buffers