Basic skeleton for ARAStar