Maxine compilation