formatted ha_sample/main.cpp