More spec for CALLCODE.