// object can be a class
srecord MethodOnObject(transient O object, S method) {}