A collection of small short programs