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