Oh, apparently we don't actually handle functions with return type void. I'll merge this first and then fix that.