void OPPROTO op_decl_ECX(void)

{

    ECX = (uint32_t)(ECX - 1);

}

void OPPROTO op_decl_ECX(void)

{

    ECX = (uint32_t)(ECX - 1);

}

void VAR_0 op_decl_ECX(void)

{

    ECX = (uint32_t)(ECX - 1);

}

void VAR_0 op_decl_ECX(void)
{ ECX = (uint32_t)(ECX - 1); }