The cool compiler