Output labels for call statements as well

The labels are still output with the wrong offset (as if they had the value 0), and debug info is enabled.