larry.cpp: Testing SliceGuarantor