+
+ /* TODO: what if the result is NOT used? Currently there is
+ * no way to detect this later, especially there is no way to
+ * see this in the proj numbers.
+ * While this is ok for the register allocator, it is bad for
+ * backends which need to change the be_Call further (x87 simulator
+ * for instance. However for this particular case the call_type is
+ * sufficient.).
+ */