The concept of a supercompiler