A few changes
proc defenition is now available