Improved proc syntax