Shorter SPIN argument property names