Ping pong compilation