Katra compiler