Progress on integrating K with pdmc.