Got side-effects working! We can now process nested calls.