int main(int argc, char **argv) {
          goto L_0001;
          void zero(int i)
{
          return(0);
}
L_0001:
          zero(1);