how to write procedures in ADA language