`call' instruction will provide intelligible error when missing needed attribute