Add all-in-one-file Validated code with examples