Title: Procedures in the tranquil compiler