Another step for compressed implementation (#7)