cleaned up existing fragment of cps translation a bit; did not solve the problem though