An attempt at a specification for ChaCha - known to be incomplete/wrong