Experiments with automatic implementation