[Ragawa] compilation