PROCEDURE name (parameter datatype) [{IS | AS} call_spec]