A random compilation