A symbolic implementation of the quantum one-time pad