Martin Ozga

• Procedures in the tranquil compiler