Rolapse compilation