Given the following label:
.myLabel: .int fun1, fun2
I think that they as fun1, fun2 are of int type than they must refer to lines in the pro