[PATCH] uml: non-void functions should return something