Compiler correctness crossword by cubic dice letters