Random programs for fun