Validated Library and SimpleRead example