private static void send_to_handle(EProc proc, EHandle handle, EObject msg) throws Pausable { int penalty = handle.send(proc.self_handle(), msg); proc.bump_reductions(penalty); }