Some toy programs