A proof of concept implementation of the Porko markup language