Add int returned_label; to struct external_entry_point_s
and adjust the output to "test.c" with the correct label and therefore correct bit-width for the returned value.
Improve some debug statements.
Add some FIXME comments.
Link the CALL destination to a valid external_entry_point if possible
Add entry_point to node_used calls.
FIXED: Correctly pass "inst" instead of "node" to assign_id_label_dst().
FIXED: Correctly set start_address for CALL dstA value.
Minor fix to start_address in CALL instruction.