compiles at least
cyk+ for compact pt