Verify sa.cpp
Update todo