checking that no-k works