Revert "test stuff w/ antonin"

This reverts commit c519d75c3002bd98c24b2074ca1b9f28248dda86.