// File: /workspace/github_c_makefile_star2_O0/luixmao[P]verilog/vlg_parser_man.cpp
// Function: has_proper_parentesis(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
bool has_proper_parentesis(string s){
    s=remove_spaces( s); //removes all spaces

    //check there is only one '(' and that it is in the second to last position
    string str2 (")");
    unsigned found = s.find(str2);
    if (found!=(s.length()-2)){
      cout<< " error: improper ')' "<<endl;
      return false;
    }
   
    //check there is not aditional ;
    string str3 ("(");
    unsigned found3 = s.find(str3);
    if (found3!=string::npos){
      cout<< " error: improper '(' "<<endl;
      return false;
    }

return true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x100, %rsp            # imm = 0x100
movq %rdi, %rsi
movq %rsi, -0xc8(%rbp)
movq %rsi, -0x10(%rbp)
leaq -0x50(%rbp), %rdi
movq %rdi, -0xc0(%rbp)
callq 0x3100
movq -0xc0(%rbp), %rsi
leaq -0x30(%rbp), %rdi
callq 0xed80
jmp 0xe9bb
movq -0xc8(%rbp), %rdi
leaq -0x30(%rbp), %rsi
movq %rsi, -0xd8(%rbp)
callq 0x32e0
movq -0xd8(%rbp), %rdi
callq 0x3150
leaq -0x50(%rbp), %rdi
callq 0x3150
leaq -0x81(%rbp), %rdi
movq %rdi, -0xd0(%rbp)
callq 0x3420
movq -0xd0(%rbp), %rdx
leaq 0x1963(%rip), %rsi      # 0x1036b
leaq -0x80(%rbp), %rdi
callq 0xf380
jmp 0xea13
leaq -0x81(%rbp), %rdi
callq 0x3290
movq -0xc8(%rbp), %rdi
leaq -0x80(%rbp), %rsi
xorl %eax, %eax
movl %eax, %edx
callq 0x3490
movq -0xc8(%rbp), %rdi
movl %eax, -0x88(%rbp)
movl -0x88(%rbp), %eax
movq %rax, -0xe0(%rbp)
callq 0x3370
movq %rax, %rcx
movq -0xe0(%rbp), %rax
subq $0x2, %rcx
cmpq %rcx, %rax
je 0xeaf5
movq 0x8560(%rip), %rdi      # 0x16fd0
leaq 0x18f6(%rip), %rsi      # 0x1036d
callq 0x3220
movq %rax, -0xe8(%rbp)
jmp 0xea85
movq -0xe8(%rbp), %rdi
movq 0x852d(%rip), %rsi      # 0x16fc0
callq 0x3270
jmp 0xea9a
movb $0x0, -0x1(%rbp)
movl $0x1, -0x8c(%rbp)
jmp 0xebe8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x50(%rbp), %rdi
callq 0x3150
jmp 0xec08
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x81(%rbp), %rdi
callq 0x3290
jmp 0xec08
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0xebff
leaq -0xb1(%rbp), %rdi
movq %rdi, -0xf0(%rbp)
callq 0x3420
movq -0xf0(%rbp), %rdx
leaq 0x15d3(%rip), %rsi      # 0x100e9
leaq -0xb0(%rbp), %rdi
callq 0xf380
jmp 0xeb24
leaq -0xb1(%rbp), %rdi
callq 0x3290
movq -0xc8(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
xorl %eax, %eax
movl %eax, %edx
callq 0x3490
movl %eax, -0xb8(%rbp)
movl -0xb8(%rbp), %eax
cmpq $-0x1, %rax
je 0xebce
movq 0x8470(%rip), %rdi      # 0x16fd0
leaq 0x181c(%rip), %rsi      # 0x10383
callq 0x3220
movq %rax, -0xf8(%rbp)
jmp 0xeb75
movq -0xf8(%rbp), %rdi
movq 0x843d(%rip), %rsi      # 0x16fc0
callq 0x3270
jmp 0xeb8a
movb $0x0, -0x1(%rbp)
movl $0x1, -0x8c(%rbp)
jmp 0xebdc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0xb1(%rbp), %rdi
callq 0x3290
jmp 0xebff
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x3150
jmp 0xebff
movb $0x1, -0x1(%rbp)
movl $0x1, -0x8c(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x3150
leaq -0x80(%rbp), %rdi
callq 0x3150
movb -0x1(%rbp), %al
andb $0x1, %al
addq $0x100, %rsp            # imm = 0x100
popq %rbp
retq
leaq -0x80(%rbp), %rdi
callq 0x3150
movq -0x58(%rbp), %rdi
callq 0x3410
nopw %cs:(%rax,%rax)