Test and examples using SafeInt class and functions