The kraft compiler