added intent attribute on all procedure args
added space between args
updated statepoint specs for rev. 9 and rev. 10