let
call_method field args dest =
let
meth = get field dest
in
call dest args meth