Showing error 189

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--block--paride--on26.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 24722
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

    1/* Generated by CIL v. 1.3.7 */
    2/* print_CIL_Input is true */
    3
    4#line 23 "include/asm-generic/int-ll64.h"
    5typedef unsigned short __u16;
    6#line 26 "include/asm-generic/int-ll64.h"
    7typedef unsigned int __u32;
    8#line 30 "include/asm-generic/int-ll64.h"
    9typedef unsigned long long __u64;
   10#line 45 "include/asm-generic/int-ll64.h"
   11typedef short s16;
   12#line 46 "include/asm-generic/int-ll64.h"
   13typedef unsigned short u16;
   14#line 49 "include/asm-generic/int-ll64.h"
   15typedef unsigned int u32;
   16#line 14 "include/asm-generic/posix_types.h"
   17typedef long __kernel_long_t;
   18#line 15 "include/asm-generic/posix_types.h"
   19typedef unsigned long __kernel_ulong_t;
   20#line 75 "include/asm-generic/posix_types.h"
   21typedef __kernel_ulong_t __kernel_size_t;
   22#line 76 "include/asm-generic/posix_types.h"
   23typedef __kernel_long_t __kernel_ssize_t;
   24#line 27 "include/linux/types.h"
   25typedef unsigned short umode_t;
   26#line 63 "include/linux/types.h"
   27typedef __kernel_size_t size_t;
   28#line 68 "include/linux/types.h"
   29typedef __kernel_ssize_t ssize_t;
   30#line 219 "include/linux/types.h"
   31struct __anonstruct_atomic_t_7 {
   32   int counter ;
   33};
   34#line 219 "include/linux/types.h"
   35typedef struct __anonstruct_atomic_t_7 atomic_t;
   36#line 229 "include/linux/types.h"
   37struct list_head {
   38   struct list_head *next ;
   39   struct list_head *prev ;
   40};
   41#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
   42struct module;
   43#line 56
   44struct module;
   45#line 146 "include/linux/init.h"
   46typedef void (*ctor_fn_t)(void);
   47#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
   48struct task_struct;
   49#line 20
   50struct task_struct;
   51#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
   52struct task_struct;
   53#line 52 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
   54struct task_struct;
   55#line 329
   56struct arch_spinlock;
   57#line 329
   58struct arch_spinlock;
   59#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
   60struct task_struct;
   61#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
   62struct task_struct;
   63#line 10 "include/asm-generic/bug.h"
   64struct bug_entry {
   65   int bug_addr_disp ;
   66   int file_disp ;
   67   unsigned short line ;
   68   unsigned short flags ;
   69};
   70#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
   71struct static_key;
   72#line 234
   73struct static_key;
   74#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
   75typedef u16 __ticket_t;
   76#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
   77typedef u32 __ticketpair_t;
   78#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
   79struct __raw_tickets {
   80   __ticket_t head ;
   81   __ticket_t tail ;
   82};
   83#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
   84union __anonunion____missing_field_name_36 {
   85   __ticketpair_t head_tail ;
   86   struct __raw_tickets tickets ;
   87};
   88#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
   89struct arch_spinlock {
   90   union __anonunion____missing_field_name_36 __annonCompField17 ;
   91};
   92#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
   93typedef struct arch_spinlock arch_spinlock_t;
   94#line 12 "include/linux/lockdep.h"
   95struct task_struct;
   96#line 20 "include/linux/spinlock_types.h"
   97struct raw_spinlock {
   98   arch_spinlock_t raw_lock ;
   99   unsigned int magic ;
  100   unsigned int owner_cpu ;
  101   void *owner ;
  102};
  103#line 64 "include/linux/spinlock_types.h"
  104union __anonunion____missing_field_name_39 {
  105   struct raw_spinlock rlock ;
  106};
  107#line 64 "include/linux/spinlock_types.h"
  108struct spinlock {
  109   union __anonunion____missing_field_name_39 __annonCompField19 ;
  110};
  111#line 64 "include/linux/spinlock_types.h"
  112typedef struct spinlock spinlock_t;
  113#line 49 "include/linux/wait.h"
  114struct __wait_queue_head {
  115   spinlock_t lock ;
  116   struct list_head task_list ;
  117};
  118#line 53 "include/linux/wait.h"
  119typedef struct __wait_queue_head wait_queue_head_t;
  120#line 55
  121struct task_struct;
  122#line 48 "include/linux/mutex.h"
  123struct mutex {
  124   atomic_t count ;
  125   spinlock_t wait_lock ;
  126   struct list_head wait_list ;
  127   struct task_struct *owner ;
  128   char const   *name ;
  129   void *magic ;
  130};
  131#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
  132struct task_struct;
  133#line 18 "include/linux/elf.h"
  134typedef __u64 Elf64_Addr;
  135#line 19 "include/linux/elf.h"
  136typedef __u16 Elf64_Half;
  137#line 23 "include/linux/elf.h"
  138typedef __u32 Elf64_Word;
  139#line 24 "include/linux/elf.h"
  140typedef __u64 Elf64_Xword;
  141#line 194 "include/linux/elf.h"
  142struct elf64_sym {
  143   Elf64_Word st_name ;
  144   unsigned char st_info ;
  145   unsigned char st_other ;
  146   Elf64_Half st_shndx ;
  147   Elf64_Addr st_value ;
  148   Elf64_Xword st_size ;
  149};
  150#line 194 "include/linux/elf.h"
  151typedef struct elf64_sym Elf64_Sym;
  152#line 20 "include/linux/kobject_ns.h"
  153struct sock;
  154#line 20
  155struct sock;
  156#line 21
  157struct kobject;
  158#line 21
  159struct kobject;
  160#line 27
  161enum kobj_ns_type {
  162    KOBJ_NS_TYPE_NONE = 0,
  163    KOBJ_NS_TYPE_NET = 1,
  164    KOBJ_NS_TYPES = 2
  165} ;
  166#line 40 "include/linux/kobject_ns.h"
  167struct kobj_ns_type_operations {
  168   enum kobj_ns_type type ;
  169   void *(*grab_current_ns)(void) ;
  170   void const   *(*netlink_ns)(struct sock *sk ) ;
  171   void const   *(*initial_ns)(void) ;
  172   void (*drop_ns)(void * ) ;
  173};
  174#line 22 "include/linux/sysfs.h"
  175struct kobject;
  176#line 23
  177struct module;
  178#line 24
  179enum kobj_ns_type;
  180#line 26 "include/linux/sysfs.h"
  181struct attribute {
  182   char const   *name ;
  183   umode_t mode ;
  184};
  185#line 112 "include/linux/sysfs.h"
  186struct sysfs_ops {
  187   ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
  188   ssize_t (*store)(struct kobject * , struct attribute * , char const   * , size_t  ) ;
  189   void const   *(*namespace)(struct kobject * , struct attribute  const  * ) ;
  190};
  191#line 118
  192struct sysfs_dirent;
  193#line 118
  194struct sysfs_dirent;
  195#line 22 "include/linux/kref.h"
  196struct kref {
  197   atomic_t refcount ;
  198};
  199#line 60 "include/linux/kobject.h"
  200struct kset;
  201#line 60
  202struct kobj_type;
  203#line 60 "include/linux/kobject.h"
  204struct kobject {
  205   char const   *name ;
  206   struct list_head entry ;
  207   struct kobject *parent ;
  208   struct kset *kset ;
  209   struct kobj_type *ktype ;
  210   struct sysfs_dirent *sd ;
  211   struct kref kref ;
  212   unsigned int state_initialized : 1 ;
  213   unsigned int state_in_sysfs : 1 ;
  214   unsigned int state_add_uevent_sent : 1 ;
  215   unsigned int state_remove_uevent_sent : 1 ;
  216   unsigned int uevent_suppress : 1 ;
  217};
  218#line 108 "include/linux/kobject.h"
  219struct kobj_type {
  220   void (*release)(struct kobject *kobj ) ;
  221   struct sysfs_ops  const  *sysfs_ops ;
  222   struct attribute **default_attrs ;
  223   struct kobj_ns_type_operations  const  *(*child_ns_type)(struct kobject *kobj ) ;
  224   void const   *(*namespace)(struct kobject *kobj ) ;
  225};
  226#line 116 "include/linux/kobject.h"
  227struct kobj_uevent_env {
  228   char *envp[32] ;
  229   int envp_idx ;
  230   char buf[2048] ;
  231   int buflen ;
  232};
  233#line 123 "include/linux/kobject.h"
  234struct kset_uevent_ops {
  235   int (* const  filter)(struct kset *kset , struct kobject *kobj ) ;
  236   char const   *(* const  name)(struct kset *kset , struct kobject *kobj ) ;
  237   int (* const  uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
  238};
  239#line 140
  240struct sock;
  241#line 159 "include/linux/kobject.h"
  242struct kset {
  243   struct list_head list ;
  244   spinlock_t list_lock ;
  245   struct kobject kobj ;
  246   struct kset_uevent_ops  const  *uevent_ops ;
  247};
  248#line 39 "include/linux/moduleparam.h"
  249struct kernel_param;
  250#line 39
  251struct kernel_param;
  252#line 41 "include/linux/moduleparam.h"
  253struct kernel_param_ops {
  254   int (*set)(char const   *val , struct kernel_param  const  *kp ) ;
  255   int (*get)(char *buffer , struct kernel_param  const  *kp ) ;
  256   void (*free)(void *arg ) ;
  257};
  258#line 50
  259struct kparam_string;
  260#line 50
  261struct kparam_array;
  262#line 50 "include/linux/moduleparam.h"
  263union __anonunion____missing_field_name_199 {
  264   void *arg ;
  265   struct kparam_string  const  *str ;
  266   struct kparam_array  const  *arr ;
  267};
  268#line 50 "include/linux/moduleparam.h"
  269struct kernel_param {
  270   char const   *name ;
  271   struct kernel_param_ops  const  *ops ;
  272   u16 perm ;
  273   s16 level ;
  274   union __anonunion____missing_field_name_199 __annonCompField32 ;
  275};
  276#line 63 "include/linux/moduleparam.h"
  277struct kparam_string {
  278   unsigned int maxlen ;
  279   char *string ;
  280};
  281#line 69 "include/linux/moduleparam.h"
  282struct kparam_array {
  283   unsigned int max ;
  284   unsigned int elemsize ;
  285   unsigned int *num ;
  286   struct kernel_param_ops  const  *ops ;
  287   void *elem ;
  288};
  289#line 445
  290struct module;
  291#line 80 "include/linux/jump_label.h"
  292struct module;
  293#line 143 "include/linux/jump_label.h"
  294struct static_key {
  295   atomic_t enabled ;
  296};
  297#line 22 "include/linux/tracepoint.h"
  298struct module;
  299#line 23
  300struct tracepoint;
  301#line 23
  302struct tracepoint;
  303#line 25 "include/linux/tracepoint.h"
  304struct tracepoint_func {
  305   void *func ;
  306   void *data ;
  307};
  308#line 30 "include/linux/tracepoint.h"
  309struct tracepoint {
  310   char const   *name ;
  311   struct static_key key ;
  312   void (*regfunc)(void) ;
  313   void (*unregfunc)(void) ;
  314   struct tracepoint_func *funcs ;
  315};
  316#line 19 "include/linux/export.h"
  317struct kernel_symbol {
  318   unsigned long value ;
  319   char const   *name ;
  320};
  321#line 8 "include/asm-generic/module.h"
  322struct mod_arch_specific {
  323
  324};
  325#line 35 "include/linux/module.h"
  326struct module;
  327#line 37
  328struct module_param_attrs;
  329#line 37 "include/linux/module.h"
  330struct module_kobject {
  331   struct kobject kobj ;
  332   struct module *mod ;
  333   struct kobject *drivers_dir ;
  334   struct module_param_attrs *mp ;
  335};
  336#line 44 "include/linux/module.h"
  337struct module_attribute {
  338   struct attribute attr ;
  339   ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
  340   ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const   * ,
  341                    size_t count ) ;
  342   void (*setup)(struct module * , char const   * ) ;
  343   int (*test)(struct module * ) ;
  344   void (*free)(struct module * ) ;
  345};
  346#line 71
  347struct exception_table_entry;
  348#line 71
  349struct exception_table_entry;
  350#line 199
  351enum module_state {
  352    MODULE_STATE_LIVE = 0,
  353    MODULE_STATE_COMING = 1,
  354    MODULE_STATE_GOING = 2
  355} ;
  356#line 215 "include/linux/module.h"
  357struct module_ref {
  358   unsigned long incs ;
  359   unsigned long decs ;
  360} __attribute__((__aligned__((2) *  (sizeof(unsigned long )) ))) ;
  361#line 220
  362struct module_sect_attrs;
  363#line 220
  364struct module_notes_attrs;
  365#line 220
  366struct ftrace_event_call;
  367#line 220 "include/linux/module.h"
  368struct module {
  369   enum module_state state ;
  370   struct list_head list ;
  371   char name[64UL - sizeof(unsigned long )] ;
  372   struct module_kobject mkobj ;
  373   struct module_attribute *modinfo_attrs ;
  374   char const   *version ;
  375   char const   *srcversion ;
  376   struct kobject *holders_dir ;
  377   struct kernel_symbol  const  *syms ;
  378   unsigned long const   *crcs ;
  379   unsigned int num_syms ;
  380   struct kernel_param *kp ;
  381   unsigned int num_kp ;
  382   unsigned int num_gpl_syms ;
  383   struct kernel_symbol  const  *gpl_syms ;
  384   unsigned long const   *gpl_crcs ;
  385   struct kernel_symbol  const  *unused_syms ;
  386   unsigned long const   *unused_crcs ;
  387   unsigned int num_unused_syms ;
  388   unsigned int num_unused_gpl_syms ;
  389   struct kernel_symbol  const  *unused_gpl_syms ;
  390   unsigned long const   *unused_gpl_crcs ;
  391   struct kernel_symbol  const  *gpl_future_syms ;
  392   unsigned long const   *gpl_future_crcs ;
  393   unsigned int num_gpl_future_syms ;
  394   unsigned int num_exentries ;
  395   struct exception_table_entry *extable ;
  396   int (*init)(void) ;
  397   void *module_init ;
  398   void *module_core ;
  399   unsigned int init_size ;
  400   unsigned int core_size ;
  401   unsigned int init_text_size ;
  402   unsigned int core_text_size ;
  403   unsigned int init_ro_size ;
  404   unsigned int core_ro_size ;
  405   struct mod_arch_specific arch ;
  406   unsigned int taints ;
  407   unsigned int num_bugs ;
  408   struct list_head bug_list ;
  409   struct bug_entry *bug_table ;
  410   Elf64_Sym *symtab ;
  411   Elf64_Sym *core_symtab ;
  412   unsigned int num_symtab ;
  413   unsigned int core_num_syms ;
  414   char *strtab ;
  415   char *core_strtab ;
  416   struct module_sect_attrs *sect_attrs ;
  417   struct module_notes_attrs *notes_attrs ;
  418   char *args ;
  419   void *percpu ;
  420   unsigned int percpu_size ;
  421   unsigned int num_tracepoints ;
  422   struct tracepoint * const  *tracepoints_ptrs ;
  423   unsigned int num_trace_bprintk_fmt ;
  424   char const   **trace_bprintk_fmt_start ;
  425   struct ftrace_event_call **trace_events ;
  426   unsigned int num_trace_events ;
  427   struct list_head source_list ;
  428   struct list_head target_list ;
  429   struct task_struct *waiter ;
  430   void (*exit)(void) ;
  431   struct module_ref *refptr ;
  432   ctor_fn_t *ctors ;
  433   unsigned int num_ctors ;
  434};
  435#line 36 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/block/paride/paride.h"
  436struct pi_protocol;
  437#line 36 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/block/paride/paride.h"
  438struct pi_adapter {
  439   struct pi_protocol *proto ;
  440   int port ;
  441   int mode ;
  442   int delay ;
  443   int devtype ;
  444   char *device ;
  445   int unit ;
  446   int saved_r0 ;
  447   int saved_r2 ;
  448   int reserved ;
  449   unsigned long private ;
  450   wait_queue_head_t parq ;
  451   void *pardev ;
  452   char *parname ;
  453   int claimed ;
  454   void (*claim_cont)(void) ;
  455};
  456#line 57 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/block/paride/paride.h"
  457typedef struct pi_adapter PIA;
  458#line 135 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/block/paride/paride.h"
  459struct pi_protocol {
  460   char name[8] ;
  461   int index ;
  462   int max_mode ;
  463   int epp_first ;
  464   int default_delay ;
  465   int max_units ;
  466   void (*write_regr)(PIA * , int  , int  , int  ) ;
  467   int (*read_regr)(PIA * , int  , int  ) ;
  468   void (*write_block)(PIA * , char * , int  ) ;
  469   void (*read_block)(PIA * , char * , int  ) ;
  470   void (*connect)(PIA * ) ;
  471   void (*disconnect)(PIA * ) ;
  472   int (*test_port)(PIA * ) ;
  473   int (*probe_unit)(PIA * ) ;
  474   int (*test_proto)(PIA * , char * , int  ) ;
  475   void (*log_adapter)(PIA * , char * , int  ) ;
  476   int (*init_proto)(PIA * ) ;
  477   void (*release_proto)(PIA * ) ;
  478   struct module *owner ;
  479};
  480#line 164 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/block/paride/paride.h"
  481typedef struct pi_protocol PIP;
  482#line 1 "<compiler builtins>"
  483long __builtin_expect(long val , long res ) ;
  484#line 100 "include/linux/printk.h"
  485extern int ( /* format attribute */  printk)(char const   *fmt  , ...) ;
  486#line 152 "include/linux/mutex.h"
  487void mutex_lock(struct mutex *lock ) ;
  488#line 153
  489int __attribute__((__warn_unused_result__))  mutex_lock_interruptible(struct mutex *lock ) ;
  490#line 154
  491int __attribute__((__warn_unused_result__))  mutex_lock_killable(struct mutex *lock ) ;
  492#line 168
  493int mutex_trylock(struct mutex *lock ) ;
  494#line 169
  495void mutex_unlock(struct mutex *lock ) ;
  496#line 170
  497int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
  498#line 308 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
  499__inline static void outb(unsigned char value , int port )  __attribute__((__no_instrument_function__)) ;
  500#line 308 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
  501__inline static void outb(unsigned char value , int port ) 
  502{ 
  503
  504  {
  505#line 308
  506  __asm__  volatile   ("out"
  507                       "b"
  508                       " %"
  509                       "b"
  510                       "0, %w1": : "a" (value), "Nd" (port));
  511#line 308
  512  return;
  513}
  514}
  515#line 308
  516__inline static unsigned char inb(int port )  __attribute__((__no_instrument_function__)) ;
  517#line 308 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
  518__inline static unsigned char inb(int port ) 
  519{ unsigned char value ;
  520
  521  {
  522#line 308
  523  __asm__  volatile   ("in"
  524                       "b"
  525                       " %w1, %"
  526                       "b"
  527                       "0": "=a" (value): "Nd" (port));
  528#line 308
  529  return (value);
  530}
  531}
  532#line 309
  533__inline static void outw(unsigned short value , int port )  __attribute__((__no_instrument_function__)) ;
  534#line 309 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
  535__inline static void outw(unsigned short value , int port ) 
  536{ 
  537
  538  {
  539#line 309
  540  __asm__  volatile   ("out"
  541                       "w"
  542                       " %"
  543                       "w"
  544                       "0, %w1": : "a" (value), "Nd" (port));
  545#line 309
  546  return;
  547}
  548}
  549#line 309
  550__inline static unsigned short inw(int port )  __attribute__((__no_instrument_function__)) ;
  551#line 309 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
  552__inline static unsigned short inw(int port ) 
  553{ unsigned short value ;
  554
  555  {
  556#line 309
  557  __asm__  volatile   ("in"
  558                       "w"
  559                       " %w1, %"
  560                       "w"
  561                       "0": "=a" (value): "Nd" (port));
  562#line 309
  563  return (value);
  564}
  565}
  566#line 310
  567__inline static void outl(unsigned int value , int port )  __attribute__((__no_instrument_function__)) ;
  568#line 310 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
  569__inline static void outl(unsigned int value , int port ) 
  570{ 
  571
  572  {
  573#line 310
  574  __asm__  volatile   ("out"
  575                       "l"
  576                       " %"
  577                       ""
  578                       "0, %w1": : "a" (value), "Nd" (port));
  579#line 310
  580  return;
  581}
  582}
  583#line 310
  584__inline static unsigned int inl(int port )  __attribute__((__no_instrument_function__)) ;
  585#line 310 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
  586__inline static unsigned int inl(int port ) 
  587{ unsigned int value ;
  588
  589  {
  590#line 310
  591  __asm__  volatile   ("in"
  592                       "l"
  593                       " %w1, %"
  594                       ""
  595                       "0": "=a" (value): "Nd" (port));
  596#line 310
  597  return (value);
  598}
  599}
  600#line 26 "include/linux/export.h"
  601extern struct module __this_module ;
  602#line 67 "include/linux/module.h"
  603int init_module(void) ;
  604#line 68
  605void cleanup_module(void) ;
  606#line 8 "include/asm-generic/delay.h"
  607extern void __udelay(unsigned long usecs ) ;
  608#line 10
  609extern void __const_udelay(unsigned long xloops ) ;
  610#line 166 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/block/paride/paride.h"
  611extern int paride_register(PIP * ) ;
  612#line 167
  613extern void paride_unregister(PIP * ) ;
  614#line 48 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16809/dscv_tempdir/dscv/ri/32_1/drivers/block/paride/on26.c.common.c"
  615static int on26_read_regr(PIA *pi , int cont , int regr ) 
  616{ int a ;
  617  int b ;
  618  int r ;
  619  unsigned char tmp ;
  620  unsigned char tmp___0 ;
  621  unsigned char tmp___1 ;
  622  unsigned char tmp___2 ;
  623  unsigned char tmp___3 ;
  624  int __cil_tmp12 ;
  625  int __cil_tmp13 ;
  626  unsigned long __cil_tmp14 ;
  627  unsigned long __cil_tmp15 ;
  628  unsigned long __cil_tmp16 ;
  629  unsigned long __cil_tmp17 ;
  630  int __cil_tmp18 ;
  631  unsigned long __cil_tmp19 ;
  632  unsigned long __cil_tmp20 ;
  633  unsigned long __cil_tmp21 ;
  634  unsigned long __cil_tmp22 ;
  635  int __cil_tmp23 ;
  636  unsigned long __cil_tmp24 ;
  637  unsigned long __cil_tmp25 ;
  638  unsigned long __cil_tmp26 ;
  639  int __cil_tmp27 ;
  640  int __cil_tmp28 ;
  641  unsigned long __cil_tmp29 ;
  642  unsigned long __cil_tmp30 ;
  643  unsigned long __cil_tmp31 ;
  644  unsigned long __cil_tmp32 ;
  645  int __cil_tmp33 ;
  646  unsigned long __cil_tmp34 ;
  647  unsigned long __cil_tmp35 ;
  648  unsigned long __cil_tmp36 ;
  649  int __cil_tmp37 ;
  650  int __cil_tmp38 ;
  651  unsigned long __cil_tmp39 ;
  652  unsigned long __cil_tmp40 ;
  653  unsigned long __cil_tmp41 ;
  654  unsigned long __cil_tmp42 ;
  655  int __cil_tmp43 ;
  656  unsigned long __cil_tmp44 ;
  657  unsigned long __cil_tmp45 ;
  658  unsigned long __cil_tmp46 ;
  659  int __cil_tmp47 ;
  660  int __cil_tmp48 ;
  661  unsigned long __cil_tmp49 ;
  662  unsigned long __cil_tmp50 ;
  663  unsigned long __cil_tmp51 ;
  664  unsigned long __cil_tmp52 ;
  665  int __cil_tmp53 ;
  666  unsigned long __cil_tmp54 ;
  667  unsigned long __cil_tmp55 ;
  668  unsigned long __cil_tmp56 ;
  669  int __cil_tmp57 ;
  670  int __cil_tmp58 ;
  671  unsigned long __cil_tmp59 ;
  672  unsigned long __cil_tmp60 ;
  673  unsigned long __cil_tmp61 ;
  674  unsigned long __cil_tmp62 ;
  675  int __cil_tmp63 ;
  676  unsigned long __cil_tmp64 ;
  677  unsigned long __cil_tmp65 ;
  678  unsigned long __cil_tmp66 ;
  679  int __cil_tmp67 ;
  680  int __cil_tmp68 ;
  681  unsigned long __cil_tmp69 ;
  682  unsigned long __cil_tmp70 ;
  683  unsigned long __cil_tmp71 ;
  684  unsigned long __cil_tmp72 ;
  685  int __cil_tmp73 ;
  686  unsigned long __cil_tmp74 ;
  687  unsigned long __cil_tmp75 ;
  688  unsigned long __cil_tmp76 ;
  689  int __cil_tmp77 ;
  690  int __cil_tmp78 ;
  691  unsigned long __cil_tmp79 ;
  692  unsigned long __cil_tmp80 ;
  693  unsigned long __cil_tmp81 ;
  694  unsigned long __cil_tmp82 ;
  695  int __cil_tmp83 ;
  696  unsigned long __cil_tmp84 ;
  697  unsigned char __cil_tmp85 ;
  698  unsigned long __cil_tmp86 ;
  699  unsigned long __cil_tmp87 ;
  700  int __cil_tmp88 ;
  701  unsigned long __cil_tmp89 ;
  702  unsigned long __cil_tmp90 ;
  703  unsigned long __cil_tmp91 ;
  704  unsigned long __cil_tmp92 ;
  705  int __cil_tmp93 ;
  706  unsigned long __cil_tmp94 ;
  707  unsigned long __cil_tmp95 ;
  708  unsigned long __cil_tmp96 ;
  709  int __cil_tmp97 ;
  710  int __cil_tmp98 ;
  711  unsigned long __cil_tmp99 ;
  712  unsigned long __cil_tmp100 ;
  713  unsigned long __cil_tmp101 ;
  714  unsigned long __cil_tmp102 ;
  715  int __cil_tmp103 ;
  716  unsigned long __cil_tmp104 ;
  717  unsigned long __cil_tmp105 ;
  718  unsigned long __cil_tmp106 ;
  719  int __cil_tmp107 ;
  720  int __cil_tmp108 ;
  721  unsigned long __cil_tmp109 ;
  722  unsigned long __cil_tmp110 ;
  723  unsigned long __cil_tmp111 ;
  724  unsigned long __cil_tmp112 ;
  725  int __cil_tmp113 ;
  726  unsigned long __cil_tmp114 ;
  727  unsigned long __cil_tmp115 ;
  728  unsigned long __cil_tmp116 ;
  729  int __cil_tmp117 ;
  730  int __cil_tmp118 ;
  731  unsigned long __cil_tmp119 ;
  732  unsigned long __cil_tmp120 ;
  733  unsigned long __cil_tmp121 ;
  734  unsigned long __cil_tmp122 ;
  735  int __cil_tmp123 ;
  736  unsigned long __cil_tmp124 ;
  737  unsigned long __cil_tmp125 ;
  738  unsigned long __cil_tmp126 ;
  739  int __cil_tmp127 ;
  740  int __cil_tmp128 ;
  741  unsigned long __cil_tmp129 ;
  742  unsigned long __cil_tmp130 ;
  743  unsigned long __cil_tmp131 ;
  744  unsigned long __cil_tmp132 ;
  745  int __cil_tmp133 ;
  746  unsigned long __cil_tmp134 ;
  747  unsigned long __cil_tmp135 ;
  748  unsigned long __cil_tmp136 ;
  749  int __cil_tmp137 ;
  750  unsigned long __cil_tmp138 ;
  751  unsigned long __cil_tmp139 ;
  752  unsigned long __cil_tmp140 ;
  753  unsigned long __cil_tmp141 ;
  754  int __cil_tmp142 ;
  755  unsigned long __cil_tmp143 ;
  756  unsigned long __cil_tmp144 ;
  757  unsigned long __cil_tmp145 ;
  758  int __cil_tmp146 ;
  759  int __cil_tmp147 ;
  760  unsigned long __cil_tmp148 ;
  761  unsigned long __cil_tmp149 ;
  762  unsigned long __cil_tmp150 ;
  763  unsigned long __cil_tmp151 ;
  764  int __cil_tmp152 ;
  765  unsigned long __cil_tmp153 ;
  766  unsigned long __cil_tmp154 ;
  767  unsigned long __cil_tmp155 ;
  768  int __cil_tmp156 ;
  769  int __cil_tmp157 ;
  770  unsigned long __cil_tmp158 ;
  771  unsigned long __cil_tmp159 ;
  772  unsigned long __cil_tmp160 ;
  773  unsigned long __cil_tmp161 ;
  774  int __cil_tmp162 ;
  775  unsigned long __cil_tmp163 ;
  776  unsigned long __cil_tmp164 ;
  777  unsigned long __cil_tmp165 ;
  778  int __cil_tmp166 ;
  779  int __cil_tmp167 ;
  780  unsigned long __cil_tmp168 ;
  781  unsigned long __cil_tmp169 ;
  782  unsigned long __cil_tmp170 ;
  783  unsigned long __cil_tmp171 ;
  784  int __cil_tmp172 ;
  785  unsigned long __cil_tmp173 ;
  786  unsigned long __cil_tmp174 ;
  787  unsigned long __cil_tmp175 ;
  788  int __cil_tmp176 ;
  789  int __cil_tmp177 ;
  790  unsigned long __cil_tmp178 ;
  791  unsigned long __cil_tmp179 ;
  792  unsigned long __cil_tmp180 ;
  793  unsigned long __cil_tmp181 ;
  794  int __cil_tmp182 ;
  795  unsigned long __cil_tmp183 ;
  796  unsigned long __cil_tmp184 ;
  797  unsigned long __cil_tmp185 ;
  798  int __cil_tmp186 ;
  799  int __cil_tmp187 ;
  800  unsigned long __cil_tmp188 ;
  801  unsigned long __cil_tmp189 ;
  802  unsigned long __cil_tmp190 ;
  803  unsigned long __cil_tmp191 ;
  804  int __cil_tmp192 ;
  805  unsigned long __cil_tmp193 ;
  806  unsigned long __cil_tmp194 ;
  807  unsigned long __cil_tmp195 ;
  808  int __cil_tmp196 ;
  809  int __cil_tmp197 ;
  810  unsigned long __cil_tmp198 ;
  811  unsigned long __cil_tmp199 ;
  812  unsigned long __cil_tmp200 ;
  813  unsigned long __cil_tmp201 ;
  814  int __cil_tmp202 ;
  815  unsigned long __cil_tmp203 ;
  816  unsigned long __cil_tmp204 ;
  817  unsigned long __cil_tmp205 ;
  818  int __cil_tmp206 ;
  819  int __cil_tmp207 ;
  820  unsigned long __cil_tmp208 ;
  821  unsigned long __cil_tmp209 ;
  822  unsigned long __cil_tmp210 ;
  823  unsigned long __cil_tmp211 ;
  824  int __cil_tmp212 ;
  825  unsigned long __cil_tmp213 ;
  826  unsigned long __cil_tmp214 ;
  827  unsigned long __cil_tmp215 ;
  828  unsigned long __cil_tmp216 ;
  829  unsigned long __cil_tmp217 ;
  830  int __cil_tmp218 ;
  831  unsigned long __cil_tmp219 ;
  832  unsigned long __cil_tmp220 ;
  833  unsigned long __cil_tmp221 ;
  834  int __cil_tmp222 ;
  835  int __cil_tmp223 ;
  836  int __cil_tmp224 ;
  837  unsigned long __cil_tmp225 ;
  838  unsigned long __cil_tmp226 ;
  839  int __cil_tmp227 ;
  840  int __cil_tmp228 ;
  841  unsigned long __cil_tmp229 ;
  842  unsigned long __cil_tmp230 ;
  843  unsigned long __cil_tmp231 ;
  844  unsigned long __cil_tmp232 ;
  845  int __cil_tmp233 ;
  846  unsigned long __cil_tmp234 ;
  847  unsigned long __cil_tmp235 ;
  848  unsigned long __cil_tmp236 ;
  849  int __cil_tmp237 ;
  850  int __cil_tmp238 ;
  851  unsigned long __cil_tmp239 ;
  852  unsigned long __cil_tmp240 ;
  853  unsigned long __cil_tmp241 ;
  854  unsigned long __cil_tmp242 ;
  855  int __cil_tmp243 ;
  856  unsigned long __cil_tmp244 ;
  857  unsigned long __cil_tmp245 ;
  858  unsigned long __cil_tmp246 ;
  859  unsigned long __cil_tmp247 ;
  860  unsigned long __cil_tmp248 ;
  861  int __cil_tmp249 ;
  862  unsigned long __cil_tmp250 ;
  863  unsigned long __cil_tmp251 ;
  864  unsigned long __cil_tmp252 ;
  865  int __cil_tmp253 ;
  866  int __cil_tmp254 ;
  867  int __cil_tmp255 ;
  868  unsigned long __cil_tmp256 ;
  869  unsigned long __cil_tmp257 ;
  870  int __cil_tmp258 ;
  871  int __cil_tmp259 ;
  872  unsigned long __cil_tmp260 ;
  873  unsigned long __cil_tmp261 ;
  874  unsigned long __cil_tmp262 ;
  875  unsigned long __cil_tmp263 ;
  876  int __cil_tmp264 ;
  877  unsigned long __cil_tmp265 ;
  878  unsigned long __cil_tmp266 ;
  879  unsigned long __cil_tmp267 ;
  880  int __cil_tmp268 ;
  881  int __cil_tmp269 ;
  882  unsigned long __cil_tmp270 ;
  883  unsigned long __cil_tmp271 ;
  884  unsigned long __cil_tmp272 ;
  885  unsigned long __cil_tmp273 ;
  886  int __cil_tmp274 ;
  887  unsigned long __cil_tmp275 ;
  888  unsigned long __cil_tmp276 ;
  889  unsigned long __cil_tmp277 ;
  890  int __cil_tmp278 ;
  891  int __cil_tmp279 ;
  892  unsigned long __cil_tmp280 ;
  893  unsigned long __cil_tmp281 ;
  894  unsigned long __cil_tmp282 ;
  895  unsigned long __cil_tmp283 ;
  896  int __cil_tmp284 ;
  897  unsigned long __cil_tmp285 ;
  898  unsigned long __cil_tmp286 ;
  899  unsigned long __cil_tmp287 ;
  900  int __cil_tmp288 ;
  901  int __cil_tmp289 ;
  902  unsigned long __cil_tmp290 ;
  903  unsigned long __cil_tmp291 ;
  904  unsigned long __cil_tmp292 ;
  905  unsigned long __cil_tmp293 ;
  906  int __cil_tmp294 ;
  907  unsigned long __cil_tmp295 ;
  908  unsigned long __cil_tmp296 ;
  909  unsigned long __cil_tmp297 ;
  910  int __cil_tmp298 ;
  911  int __cil_tmp299 ;
  912  unsigned long __cil_tmp300 ;
  913  unsigned long __cil_tmp301 ;
  914  unsigned long __cil_tmp302 ;
  915  unsigned long __cil_tmp303 ;
  916  int __cil_tmp304 ;
  917  unsigned long __cil_tmp305 ;
  918  int __cil_tmp306 ;
  919  int __cil_tmp307 ;
  920  int __cil_tmp308 ;
  921  unsigned long __cil_tmp309 ;
  922  unsigned long __cil_tmp310 ;
  923  int __cil_tmp311 ;
  924  unsigned long __cil_tmp312 ;
  925  unsigned long __cil_tmp313 ;
  926  unsigned long __cil_tmp314 ;
  927  unsigned long __cil_tmp315 ;
  928  int __cil_tmp316 ;
  929  unsigned long __cil_tmp317 ;
  930  unsigned long __cil_tmp318 ;
  931  unsigned long __cil_tmp319 ;
  932  int __cil_tmp320 ;
  933  int __cil_tmp321 ;
  934  unsigned long __cil_tmp322 ;
  935  unsigned long __cil_tmp323 ;
  936  unsigned long __cil_tmp324 ;
  937  unsigned long __cil_tmp325 ;
  938  int __cil_tmp326 ;
  939  unsigned long __cil_tmp327 ;
  940  unsigned long __cil_tmp328 ;
  941  unsigned long __cil_tmp329 ;
  942  int __cil_tmp330 ;
  943  int __cil_tmp331 ;
  944  unsigned long __cil_tmp332 ;
  945  unsigned long __cil_tmp333 ;
  946  unsigned long __cil_tmp334 ;
  947  unsigned long __cil_tmp335 ;
  948  int __cil_tmp336 ;
  949  unsigned long __cil_tmp337 ;
  950  unsigned long __cil_tmp338 ;
  951  unsigned long __cil_tmp339 ;
  952  int __cil_tmp340 ;
  953  int __cil_tmp341 ;
  954  unsigned long __cil_tmp342 ;
  955  unsigned long __cil_tmp343 ;
  956  unsigned long __cil_tmp344 ;
  957  unsigned long __cil_tmp345 ;
  958  int __cil_tmp346 ;
  959  unsigned long __cil_tmp347 ;
  960  unsigned long __cil_tmp348 ;
  961  unsigned long __cil_tmp349 ;
  962  int __cil_tmp350 ;
  963  int __cil_tmp351 ;
  964  unsigned long __cil_tmp352 ;
  965  unsigned long __cil_tmp353 ;
  966  unsigned long __cil_tmp354 ;
  967  unsigned long __cil_tmp355 ;
  968  int __cil_tmp356 ;
  969  unsigned long __cil_tmp357 ;
  970  unsigned long __cil_tmp358 ;
  971  unsigned long __cil_tmp359 ;
  972  int __cil_tmp360 ;
  973  int __cil_tmp361 ;
  974  unsigned long __cil_tmp362 ;
  975  unsigned long __cil_tmp363 ;
  976  unsigned long __cil_tmp364 ;
  977  unsigned long __cil_tmp365 ;
  978  int __cil_tmp366 ;
  979  unsigned long __cil_tmp367 ;
  980  unsigned long __cil_tmp368 ;
  981  unsigned long __cil_tmp369 ;
  982  int __cil_tmp370 ;
  983  int __cil_tmp371 ;
  984  unsigned long __cil_tmp372 ;
  985  unsigned long __cil_tmp373 ;
  986  unsigned long __cil_tmp374 ;
  987  unsigned long __cil_tmp375 ;
  988  int __cil_tmp376 ;
  989  unsigned long __cil_tmp377 ;
  990  unsigned char __cil_tmp378 ;
  991  unsigned long __cil_tmp379 ;
  992  unsigned long __cil_tmp380 ;
  993  int __cil_tmp381 ;
  994  unsigned long __cil_tmp382 ;
  995  unsigned long __cil_tmp383 ;
  996  unsigned long __cil_tmp384 ;
  997  unsigned long __cil_tmp385 ;
  998  int __cil_tmp386 ;
  999  unsigned long __cil_tmp387 ;
 1000  unsigned long __cil_tmp388 ;
 1001  unsigned long __cil_tmp389 ;
 1002  int __cil_tmp390 ;
 1003  int __cil_tmp391 ;
 1004  unsigned long __cil_tmp392 ;
 1005  unsigned long __cil_tmp393 ;
 1006  unsigned long __cil_tmp394 ;
 1007  unsigned long __cil_tmp395 ;
 1008  int __cil_tmp396 ;
 1009  unsigned long __cil_tmp397 ;
 1010  unsigned long __cil_tmp398 ;
 1011  unsigned long __cil_tmp399 ;
 1012  int __cil_tmp400 ;
 1013  int __cil_tmp401 ;
 1014  unsigned long __cil_tmp402 ;
 1015  unsigned long __cil_tmp403 ;
 1016  unsigned long __cil_tmp404 ;
 1017  unsigned long __cil_tmp405 ;
 1018  int __cil_tmp406 ;
 1019  unsigned long __cil_tmp407 ;
 1020  unsigned long __cil_tmp408 ;
 1021  unsigned long __cil_tmp409 ;
 1022  int __cil_tmp410 ;
 1023  int __cil_tmp411 ;
 1024  unsigned long __cil_tmp412 ;
 1025  unsigned long __cil_tmp413 ;
 1026  unsigned long __cil_tmp414 ;
 1027  unsigned long __cil_tmp415 ;
 1028  int __cil_tmp416 ;
 1029  unsigned long __cil_tmp417 ;
 1030  unsigned long __cil_tmp418 ;
 1031  unsigned long __cil_tmp419 ;
 1032  int __cil_tmp420 ;
 1033  int __cil_tmp421 ;
 1034  unsigned long __cil_tmp422 ;
 1035  unsigned long __cil_tmp423 ;
 1036  unsigned long __cil_tmp424 ;
 1037  unsigned long __cil_tmp425 ;
 1038  int __cil_tmp426 ;
 1039  unsigned long __cil_tmp427 ;
 1040  unsigned long __cil_tmp428 ;
 1041  unsigned long __cil_tmp429 ;
 1042  int __cil_tmp430 ;
 1043  unsigned long __cil_tmp431 ;
 1044  unsigned long __cil_tmp432 ;
 1045  unsigned long __cil_tmp433 ;
 1046  unsigned long __cil_tmp434 ;
 1047  int __cil_tmp435 ;
 1048  unsigned long __cil_tmp436 ;
 1049  unsigned long __cil_tmp437 ;
 1050  unsigned long __cil_tmp438 ;
 1051  int __cil_tmp439 ;
 1052  int __cil_tmp440 ;
 1053  unsigned long __cil_tmp441 ;
 1054  unsigned long __cil_tmp442 ;
 1055  unsigned long __cil_tmp443 ;
 1056  unsigned long __cil_tmp444 ;
 1057  int __cil_tmp445 ;
 1058  unsigned long __cil_tmp446 ;
 1059  unsigned long __cil_tmp447 ;
 1060  unsigned long __cil_tmp448 ;
 1061  int __cil_tmp449 ;
 1062  int __cil_tmp450 ;
 1063  unsigned long __cil_tmp451 ;
 1064  unsigned long __cil_tmp452 ;
 1065  unsigned long __cil_tmp453 ;
 1066  unsigned long __cil_tmp454 ;
 1067  int __cil_tmp455 ;
 1068  unsigned long __cil_tmp456 ;
 1069  unsigned long __cil_tmp457 ;
 1070  unsigned long __cil_tmp458 ;
 1071  int __cil_tmp459 ;
 1072  int __cil_tmp460 ;
 1073  unsigned long __cil_tmp461 ;
 1074  unsigned long __cil_tmp462 ;
 1075  unsigned long __cil_tmp463 ;
 1076  unsigned long __cil_tmp464 ;
 1077  int __cil_tmp465 ;
 1078  unsigned long __cil_tmp466 ;
 1079  unsigned long __cil_tmp467 ;
 1080  unsigned long __cil_tmp468 ;
 1081  int __cil_tmp469 ;
 1082  int __cil_tmp470 ;
 1083  unsigned long __cil_tmp471 ;
 1084  unsigned long __cil_tmp472 ;
 1085  unsigned long __cil_tmp473 ;
 1086  unsigned long __cil_tmp474 ;
 1087  int __cil_tmp475 ;
 1088  unsigned long __cil_tmp476 ;
 1089  unsigned long __cil_tmp477 ;
 1090  unsigned long __cil_tmp478 ;
 1091  int __cil_tmp479 ;
 1092  int __cil_tmp480 ;
 1093  unsigned long __cil_tmp481 ;
 1094  unsigned long __cil_tmp482 ;
 1095  unsigned long __cil_tmp483 ;
 1096  unsigned long __cil_tmp484 ;
 1097  int __cil_tmp485 ;
 1098  unsigned long __cil_tmp486 ;
 1099  unsigned long __cil_tmp487 ;
 1100  unsigned long __cil_tmp488 ;
 1101  int __cil_tmp489 ;
 1102  int __cil_tmp490 ;
 1103  unsigned long __cil_tmp491 ;
 1104  unsigned long __cil_tmp492 ;
 1105  unsigned long __cil_tmp493 ;
 1106  unsigned long __cil_tmp494 ;
 1107  int __cil_tmp495 ;
 1108  unsigned long __cil_tmp496 ;
 1109  unsigned long __cil_tmp497 ;
 1110  unsigned long __cil_tmp498 ;
 1111  int __cil_tmp499 ;
 1112  int __cil_tmp500 ;
 1113  unsigned long __cil_tmp501 ;
 1114  unsigned long __cil_tmp502 ;
 1115  unsigned long __cil_tmp503 ;
 1116  unsigned long __cil_tmp504 ;
 1117  int __cil_tmp505 ;
 1118  unsigned long __cil_tmp506 ;
 1119  unsigned long __cil_tmp507 ;
 1120  unsigned long __cil_tmp508 ;
 1121  unsigned long __cil_tmp509 ;
 1122  unsigned long __cil_tmp510 ;
 1123  int __cil_tmp511 ;
 1124  unsigned long __cil_tmp512 ;
 1125  unsigned long __cil_tmp513 ;
 1126  unsigned long __cil_tmp514 ;
 1127  int __cil_tmp515 ;
 1128  int __cil_tmp516 ;
 1129  unsigned long __cil_tmp517 ;
 1130  unsigned long __cil_tmp518 ;
 1131  int __cil_tmp519 ;
 1132  int __cil_tmp520 ;
 1133  unsigned long __cil_tmp521 ;
 1134  unsigned long __cil_tmp522 ;
 1135  unsigned long __cil_tmp523 ;
 1136  unsigned long __cil_tmp524 ;
 1137  int __cil_tmp525 ;
 1138  unsigned long __cil_tmp526 ;
 1139  unsigned long __cil_tmp527 ;
 1140  unsigned long __cil_tmp528 ;
 1141  int __cil_tmp529 ;
 1142  int __cil_tmp530 ;
 1143  unsigned long __cil_tmp531 ;
 1144  unsigned long __cil_tmp532 ;
 1145  unsigned long __cil_tmp533 ;
 1146  unsigned long __cil_tmp534 ;
 1147  int __cil_tmp535 ;
 1148  unsigned long __cil_tmp536 ;
 1149  unsigned long __cil_tmp537 ;
 1150  unsigned long __cil_tmp538 ;
 1151  int __cil_tmp539 ;
 1152  int __cil_tmp540 ;
 1153  unsigned long __cil_tmp541 ;
 1154  unsigned long __cil_tmp542 ;
 1155  unsigned long __cil_tmp543 ;
 1156  unsigned long __cil_tmp544 ;
 1157  int __cil_tmp545 ;
 1158  unsigned long __cil_tmp546 ;
 1159  unsigned long __cil_tmp547 ;
 1160  unsigned long __cil_tmp548 ;
 1161  int __cil_tmp549 ;
 1162  int __cil_tmp550 ;
 1163  unsigned long __cil_tmp551 ;
 1164  unsigned long __cil_tmp552 ;
 1165  unsigned long __cil_tmp553 ;
 1166  unsigned long __cil_tmp554 ;
 1167  int __cil_tmp555 ;
 1168  unsigned long __cil_tmp556 ;
 1169  unsigned long __cil_tmp557 ;
 1170  unsigned long __cil_tmp558 ;
 1171  int __cil_tmp559 ;
 1172  int __cil_tmp560 ;
 1173  unsigned long __cil_tmp561 ;
 1174  unsigned long __cil_tmp562 ;
 1175  unsigned long __cil_tmp563 ;
 1176  unsigned long __cil_tmp564 ;
 1177  int __cil_tmp565 ;
 1178  unsigned long __cil_tmp566 ;
 1179  unsigned long __cil_tmp567 ;
 1180  unsigned long __cil_tmp568 ;
 1181  int __cil_tmp569 ;
 1182  int __cil_tmp570 ;
 1183  unsigned long __cil_tmp571 ;
 1184  unsigned long __cil_tmp572 ;
 1185  unsigned long __cil_tmp573 ;
 1186  unsigned long __cil_tmp574 ;
 1187  int __cil_tmp575 ;
 1188  unsigned long __cil_tmp576 ;
 1189  unsigned char __cil_tmp577 ;
 1190  unsigned long __cil_tmp578 ;
 1191  unsigned long __cil_tmp579 ;
 1192  int __cil_tmp580 ;
 1193  int __cil_tmp581 ;
 1194  unsigned long __cil_tmp582 ;
 1195  unsigned long __cil_tmp583 ;
 1196  unsigned long __cil_tmp584 ;
 1197  unsigned long __cil_tmp585 ;
 1198  int __cil_tmp586 ;
 1199  unsigned long __cil_tmp587 ;
 1200  unsigned long __cil_tmp588 ;
 1201  unsigned long __cil_tmp589 ;
 1202  int __cil_tmp590 ;
 1203  int __cil_tmp591 ;
 1204  unsigned long __cil_tmp592 ;
 1205  unsigned long __cil_tmp593 ;
 1206  unsigned long __cil_tmp594 ;
 1207  unsigned long __cil_tmp595 ;
 1208  int __cil_tmp596 ;
 1209  unsigned long __cil_tmp597 ;
 1210  unsigned long __cil_tmp598 ;
 1211  unsigned long __cil_tmp599 ;
 1212  int __cil_tmp600 ;
 1213  int __cil_tmp601 ;
 1214  unsigned long __cil_tmp602 ;
 1215  unsigned long __cil_tmp603 ;
 1216  unsigned long __cil_tmp604 ;
 1217  unsigned long __cil_tmp605 ;
 1218  int __cil_tmp606 ;
 1219  unsigned long __cil_tmp607 ;
 1220  unsigned long __cil_tmp608 ;
 1221  unsigned long __cil_tmp609 ;
 1222  int __cil_tmp610 ;
 1223  int __cil_tmp611 ;
 1224  unsigned long __cil_tmp612 ;
 1225  unsigned long __cil_tmp613 ;
 1226  unsigned long __cil_tmp614 ;
 1227  unsigned long __cil_tmp615 ;
 1228  int __cil_tmp616 ;
 1229  unsigned long __cil_tmp617 ;
 1230  unsigned long __cil_tmp618 ;
 1231  unsigned long __cil_tmp619 ;
 1232  int __cil_tmp620 ;
 1233  int __cil_tmp621 ;
 1234  unsigned long __cil_tmp622 ;
 1235  unsigned long __cil_tmp623 ;
 1236  unsigned long __cil_tmp624 ;
 1237  unsigned long __cil_tmp625 ;
 1238  int __cil_tmp626 ;
 1239  unsigned long __cil_tmp627 ;
 1240  unsigned long __cil_tmp628 ;
 1241  unsigned long __cil_tmp629 ;
 1242  unsigned long __cil_tmp630 ;
 1243  unsigned long __cil_tmp631 ;
 1244  int __cil_tmp632 ;
 1245  unsigned long __cil_tmp633 ;
 1246  unsigned long __cil_tmp634 ;
 1247  unsigned long __cil_tmp635 ;
 1248  int __cil_tmp636 ;
 1249  int __cil_tmp637 ;
 1250  int __cil_tmp638 ;
 1251  unsigned long __cil_tmp639 ;
 1252  unsigned long __cil_tmp640 ;
 1253  int __cil_tmp641 ;
 1254  int __cil_tmp642 ;
 1255  unsigned long __cil_tmp643 ;
 1256  unsigned long __cil_tmp644 ;
 1257  unsigned long __cil_tmp645 ;
 1258  unsigned long __cil_tmp646 ;
 1259  int __cil_tmp647 ;
 1260  unsigned long __cil_tmp648 ;
 1261  unsigned long __cil_tmp649 ;
 1262  unsigned long __cil_tmp650 ;
 1263  int __cil_tmp651 ;
 1264  int __cil_tmp652 ;
 1265  unsigned long __cil_tmp653 ;
 1266  unsigned long __cil_tmp654 ;
 1267  unsigned long __cil_tmp655 ;
 1268  unsigned long __cil_tmp656 ;
 1269  int __cil_tmp657 ;
 1270  unsigned long __cil_tmp658 ;
 1271  unsigned long __cil_tmp659 ;
 1272  unsigned long __cil_tmp660 ;
 1273  unsigned long __cil_tmp661 ;
 1274  unsigned long __cil_tmp662 ;
 1275  int __cil_tmp663 ;
 1276  unsigned long __cil_tmp664 ;
 1277  unsigned long __cil_tmp665 ;
 1278  unsigned long __cil_tmp666 ;
 1279  int __cil_tmp667 ;
 1280  int __cil_tmp668 ;
 1281  unsigned long __cil_tmp669 ;
 1282  unsigned long __cil_tmp670 ;
 1283  int __cil_tmp671 ;
 1284  int __cil_tmp672 ;
 1285  unsigned long __cil_tmp673 ;
 1286  unsigned long __cil_tmp674 ;
 1287  unsigned long __cil_tmp675 ;
 1288  unsigned long __cil_tmp676 ;
 1289  int __cil_tmp677 ;
 1290  unsigned long __cil_tmp678 ;
 1291
 1292  {
 1293#line 52
 1294  __cil_tmp12 = regr << 2;
 1295#line 52
 1296  __cil_tmp13 = __cil_tmp12 + 1;
 1297#line 52
 1298  r = __cil_tmp13 + cont;
 1299  {
 1300#line 54
 1301  __cil_tmp14 = (unsigned long )pi;
 1302#line 54
 1303  __cil_tmp15 = __cil_tmp14 + 12;
 1304#line 56
 1305  if (*((int *)__cil_tmp15) == 0) {
 1306#line 56
 1307    goto case_0;
 1308  } else
 1309#line 62
 1310  if (*((int *)__cil_tmp15) == 1) {
 1311#line 62
 1312    goto case_1;
 1313  } else
 1314#line 66
 1315  if (*((int *)__cil_tmp15) == 2) {
 1316#line 66
 1317    goto case_2;
 1318  } else
 1319#line 67
 1320  if (*((int *)__cil_tmp15) == 3) {
 1321#line 67
 1322    goto case_2;
 1323  } else
 1324#line 68
 1325  if (*((int *)__cil_tmp15) == 4) {
 1326#line 68
 1327    goto case_2;
 1328  } else
 1329#line 54
 1330  if (0) {
 1331    case_0: /* CIL Label */ 
 1332    {
 1333#line 56
 1334    __cil_tmp16 = (unsigned long )pi;
 1335#line 56
 1336    __cil_tmp17 = __cil_tmp16 + 8;
 1337#line 56
 1338    __cil_tmp18 = *((int *)__cil_tmp17);
 1339#line 56
 1340    outb((unsigned char)1, __cil_tmp18);
 1341    }
 1342    {
 1343#line 56
 1344    __cil_tmp19 = (unsigned long )pi;
 1345#line 56
 1346    __cil_tmp20 = __cil_tmp19 + 16;
 1347#line 56
 1348    if (*((int *)__cil_tmp20)) {
 1349      {
 1350#line 56
 1351      __cil_tmp21 = (unsigned long )pi;
 1352#line 56
 1353      __cil_tmp22 = __cil_tmp21 + 16;
 1354#line 56
 1355      __cil_tmp23 = *((int *)__cil_tmp22);
 1356#line 56
 1357      __cil_tmp24 = (unsigned long )__cil_tmp23;
 1358#line 56
 1359      __udelay(__cil_tmp24);
 1360      }
 1361    } else {
 1362
 1363    }
 1364    }
 1365    {
 1366#line 56
 1367    __cil_tmp25 = (unsigned long )pi;
 1368#line 56
 1369    __cil_tmp26 = __cil_tmp25 + 8;
 1370#line 56
 1371    __cil_tmp27 = *((int *)__cil_tmp26);
 1372#line 56
 1373    __cil_tmp28 = __cil_tmp27 + 2;
 1374#line 56
 1375    outb((unsigned char)5, __cil_tmp28);
 1376    }
 1377    {
 1378#line 56
 1379    __cil_tmp29 = (unsigned long )pi;
 1380#line 56
 1381    __cil_tmp30 = __cil_tmp29 + 16;
 1382#line 56
 1383    if (*((int *)__cil_tmp30)) {
 1384      {
 1385#line 56
 1386      __cil_tmp31 = (unsigned long )pi;
 1387#line 56
 1388      __cil_tmp32 = __cil_tmp31 + 16;
 1389#line 56
 1390      __cil_tmp33 = *((int *)__cil_tmp32);
 1391#line 56
 1392      __cil_tmp34 = (unsigned long )__cil_tmp33;
 1393#line 56
 1394      __udelay(__cil_tmp34);
 1395      }
 1396    } else {
 1397
 1398    }
 1399    }
 1400    {
 1401#line 56
 1402    __cil_tmp35 = (unsigned long )pi;
 1403#line 56
 1404    __cil_tmp36 = __cil_tmp35 + 8;
 1405#line 56
 1406    __cil_tmp37 = *((int *)__cil_tmp36);
 1407#line 56
 1408    __cil_tmp38 = __cil_tmp37 + 2;
 1409#line 56
 1410    outb((unsigned char)13, __cil_tmp38);
 1411    }
 1412    {
 1413#line 56
 1414    __cil_tmp39 = (unsigned long )pi;
 1415#line 56
 1416    __cil_tmp40 = __cil_tmp39 + 16;
 1417#line 56
 1418    if (*((int *)__cil_tmp40)) {
 1419      {
 1420#line 56
 1421      __cil_tmp41 = (unsigned long )pi;
 1422#line 56
 1423      __cil_tmp42 = __cil_tmp41 + 16;
 1424#line 56
 1425      __cil_tmp43 = *((int *)__cil_tmp42);
 1426#line 56
 1427      __cil_tmp44 = (unsigned long )__cil_tmp43;
 1428#line 56
 1429      __udelay(__cil_tmp44);
 1430      }
 1431    } else {
 1432
 1433    }
 1434    }
 1435    {
 1436#line 56
 1437    __cil_tmp45 = (unsigned long )pi;
 1438#line 56
 1439    __cil_tmp46 = __cil_tmp45 + 8;
 1440#line 56
 1441    __cil_tmp47 = *((int *)__cil_tmp46);
 1442#line 56
 1443    __cil_tmp48 = __cil_tmp47 + 2;
 1444#line 56
 1445    outb((unsigned char)5, __cil_tmp48);
 1446    }
 1447    {
 1448#line 56
 1449    __cil_tmp49 = (unsigned long )pi;
 1450#line 56
 1451    __cil_tmp50 = __cil_tmp49 + 16;
 1452#line 56
 1453    if (*((int *)__cil_tmp50)) {
 1454      {
 1455#line 56
 1456      __cil_tmp51 = (unsigned long )pi;
 1457#line 56
 1458      __cil_tmp52 = __cil_tmp51 + 16;
 1459#line 56
 1460      __cil_tmp53 = *((int *)__cil_tmp52);
 1461#line 56
 1462      __cil_tmp54 = (unsigned long )__cil_tmp53;
 1463#line 56
 1464      __udelay(__cil_tmp54);
 1465      }
 1466    } else {
 1467
 1468    }
 1469    }
 1470    {
 1471#line 56
 1472    __cil_tmp55 = (unsigned long )pi;
 1473#line 56
 1474    __cil_tmp56 = __cil_tmp55 + 8;
 1475#line 56
 1476    __cil_tmp57 = *((int *)__cil_tmp56);
 1477#line 56
 1478    __cil_tmp58 = __cil_tmp57 + 2;
 1479#line 56
 1480    outb((unsigned char)13, __cil_tmp58);
 1481    }
 1482    {
 1483#line 56
 1484    __cil_tmp59 = (unsigned long )pi;
 1485#line 56
 1486    __cil_tmp60 = __cil_tmp59 + 16;
 1487#line 56
 1488    if (*((int *)__cil_tmp60)) {
 1489      {
 1490#line 56
 1491      __cil_tmp61 = (unsigned long )pi;
 1492#line 56
 1493      __cil_tmp62 = __cil_tmp61 + 16;
 1494#line 56
 1495      __cil_tmp63 = *((int *)__cil_tmp62);
 1496#line 56
 1497      __cil_tmp64 = (unsigned long )__cil_tmp63;
 1498#line 56
 1499      __udelay(__cil_tmp64);
 1500      }
 1501    } else {
 1502
 1503    }
 1504    }
 1505    {
 1506#line 56
 1507    __cil_tmp65 = (unsigned long )pi;
 1508#line 56
 1509    __cil_tmp66 = __cil_tmp65 + 8;
 1510#line 56
 1511    __cil_tmp67 = *((int *)__cil_tmp66);
 1512#line 56
 1513    __cil_tmp68 = __cil_tmp67 + 2;
 1514#line 56
 1515    outb((unsigned char)5, __cil_tmp68);
 1516    }
 1517    {
 1518#line 56
 1519    __cil_tmp69 = (unsigned long )pi;
 1520#line 56
 1521    __cil_tmp70 = __cil_tmp69 + 16;
 1522#line 56
 1523    if (*((int *)__cil_tmp70)) {
 1524      {
 1525#line 56
 1526      __cil_tmp71 = (unsigned long )pi;
 1527#line 56
 1528      __cil_tmp72 = __cil_tmp71 + 16;
 1529#line 56
 1530      __cil_tmp73 = *((int *)__cil_tmp72);
 1531#line 56
 1532      __cil_tmp74 = (unsigned long )__cil_tmp73;
 1533#line 56
 1534      __udelay(__cil_tmp74);
 1535      }
 1536    } else {
 1537
 1538    }
 1539    }
 1540    {
 1541#line 56
 1542    __cil_tmp75 = (unsigned long )pi;
 1543#line 56
 1544    __cil_tmp76 = __cil_tmp75 + 8;
 1545#line 56
 1546    __cil_tmp77 = *((int *)__cil_tmp76);
 1547#line 56
 1548    __cil_tmp78 = __cil_tmp77 + 2;
 1549#line 56
 1550    outb((unsigned char)4, __cil_tmp78);
 1551    }
 1552    {
 1553#line 56
 1554    __cil_tmp79 = (unsigned long )pi;
 1555#line 56
 1556    __cil_tmp80 = __cil_tmp79 + 16;
 1557#line 56
 1558    if (*((int *)__cil_tmp80)) {
 1559      {
 1560#line 56
 1561      __cil_tmp81 = (unsigned long )pi;
 1562#line 56
 1563      __cil_tmp82 = __cil_tmp81 + 16;
 1564#line 56
 1565      __cil_tmp83 = *((int *)__cil_tmp82);
 1566#line 56
 1567      __cil_tmp84 = (unsigned long )__cil_tmp83;
 1568#line 56
 1569      __udelay(__cil_tmp84);
 1570      }
 1571    } else {
 1572
 1573    }
 1574    }
 1575    {
 1576#line 56
 1577    __cil_tmp85 = (unsigned char )r;
 1578#line 56
 1579    __cil_tmp86 = (unsigned long )pi;
 1580#line 56
 1581    __cil_tmp87 = __cil_tmp86 + 8;
 1582#line 56
 1583    __cil_tmp88 = *((int *)__cil_tmp87);
 1584#line 56
 1585    outb(__cil_tmp85, __cil_tmp88);
 1586    }
 1587    {
 1588#line 56
 1589    __cil_tmp89 = (unsigned long )pi;
 1590#line 56
 1591    __cil_tmp90 = __cil_tmp89 + 16;
 1592#line 56
 1593    if (*((int *)__cil_tmp90)) {
 1594      {
 1595#line 56
 1596      __cil_tmp91 = (unsigned long )pi;
 1597#line 56
 1598      __cil_tmp92 = __cil_tmp91 + 16;
 1599#line 56
 1600      __cil_tmp93 = *((int *)__cil_tmp92);
 1601#line 56
 1602      __cil_tmp94 = (unsigned long )__cil_tmp93;
 1603#line 56
 1604      __udelay(__cil_tmp94);
 1605      }
 1606    } else {
 1607
 1608    }
 1609    }
 1610    {
 1611#line 56
 1612    __cil_tmp95 = (unsigned long )pi;
 1613#line 56
 1614    __cil_tmp96 = __cil_tmp95 + 8;
 1615#line 56
 1616    __cil_tmp97 = *((int *)__cil_tmp96);
 1617#line 56
 1618    __cil_tmp98 = __cil_tmp97 + 2;
 1619#line 56
 1620    outb((unsigned char)5, __cil_tmp98);
 1621    }
 1622    {
 1623#line 56
 1624    __cil_tmp99 = (unsigned long )pi;
 1625#line 56
 1626    __cil_tmp100 = __cil_tmp99 + 16;
 1627#line 56
 1628    if (*((int *)__cil_tmp100)) {
 1629      {
 1630#line 56
 1631      __cil_tmp101 = (unsigned long )pi;
 1632#line 56
 1633      __cil_tmp102 = __cil_tmp101 + 16;
 1634#line 56
 1635      __cil_tmp103 = *((int *)__cil_tmp102);
 1636#line 56
 1637      __cil_tmp104 = (unsigned long )__cil_tmp103;
 1638#line 56
 1639      __udelay(__cil_tmp104);
 1640      }
 1641    } else {
 1642
 1643    }
 1644    }
 1645    {
 1646#line 56
 1647    __cil_tmp105 = (unsigned long )pi;
 1648#line 56
 1649    __cil_tmp106 = __cil_tmp105 + 8;
 1650#line 56
 1651    __cil_tmp107 = *((int *)__cil_tmp106);
 1652#line 56
 1653    __cil_tmp108 = __cil_tmp107 + 2;
 1654#line 56
 1655    outb((unsigned char)7, __cil_tmp108);
 1656    }
 1657    {
 1658#line 56
 1659    __cil_tmp109 = (unsigned long )pi;
 1660#line 56
 1661    __cil_tmp110 = __cil_tmp109 + 16;
 1662#line 56
 1663    if (*((int *)__cil_tmp110)) {
 1664      {
 1665#line 56
 1666      __cil_tmp111 = (unsigned long )pi;
 1667#line 56
 1668      __cil_tmp112 = __cil_tmp111 + 16;
 1669#line 56
 1670      __cil_tmp113 = *((int *)__cil_tmp112);
 1671#line 56
 1672      __cil_tmp114 = (unsigned long )__cil_tmp113;
 1673#line 56
 1674      __udelay(__cil_tmp114);
 1675      }
 1676    } else {
 1677
 1678    }
 1679    }
 1680    {
 1681#line 56
 1682    __cil_tmp115 = (unsigned long )pi;
 1683#line 56
 1684    __cil_tmp116 = __cil_tmp115 + 8;
 1685#line 56
 1686    __cil_tmp117 = *((int *)__cil_tmp116);
 1687#line 56
 1688    __cil_tmp118 = __cil_tmp117 + 2;
 1689#line 56
 1690    outb((unsigned char)5, __cil_tmp118);
 1691    }
 1692    {
 1693#line 56
 1694    __cil_tmp119 = (unsigned long )pi;
 1695#line 56
 1696    __cil_tmp120 = __cil_tmp119 + 16;
 1697#line 56
 1698    if (*((int *)__cil_tmp120)) {
 1699      {
 1700#line 56
 1701      __cil_tmp121 = (unsigned long )pi;
 1702#line 56
 1703      __cil_tmp122 = __cil_tmp121 + 16;
 1704#line 56
 1705      __cil_tmp123 = *((int *)__cil_tmp122);
 1706#line 56
 1707      __cil_tmp124 = (unsigned long )__cil_tmp123;
 1708#line 56
 1709      __udelay(__cil_tmp124);
 1710      }
 1711    } else {
 1712
 1713    }
 1714    }
 1715    {
 1716#line 56
 1717    __cil_tmp125 = (unsigned long )pi;
 1718#line 56
 1719    __cil_tmp126 = __cil_tmp125 + 8;
 1720#line 56
 1721    __cil_tmp127 = *((int *)__cil_tmp126);
 1722#line 56
 1723    __cil_tmp128 = __cil_tmp127 + 2;
 1724#line 56
 1725    outb((unsigned char)4, __cil_tmp128);
 1726    }
 1727    {
 1728#line 56
 1729    __cil_tmp129 = (unsigned long )pi;
 1730#line 56
 1731    __cil_tmp130 = __cil_tmp129 + 16;
 1732#line 56
 1733    if (*((int *)__cil_tmp130)) {
 1734      {
 1735#line 56
 1736      __cil_tmp131 = (unsigned long )pi;
 1737#line 56
 1738      __cil_tmp132 = __cil_tmp131 + 16;
 1739#line 56
 1740      __cil_tmp133 = *((int *)__cil_tmp132);
 1741#line 56
 1742      __cil_tmp134 = (unsigned long )__cil_tmp133;
 1743#line 56
 1744      __udelay(__cil_tmp134);
 1745      }
 1746    } else {
 1747
 1748    }
 1749    }
 1750    {
 1751#line 56
 1752    __cil_tmp135 = (unsigned long )pi;
 1753#line 56
 1754    __cil_tmp136 = __cil_tmp135 + 8;
 1755#line 56
 1756    __cil_tmp137 = *((int *)__cil_tmp136);
 1757#line 56
 1758    outb((unsigned char)0, __cil_tmp137);
 1759    }
 1760    {
 1761#line 56
 1762    __cil_tmp138 = (unsigned long )pi;
 1763#line 56
 1764    __cil_tmp139 = __cil_tmp138 + 16;
 1765#line 56
 1766    if (*((int *)__cil_tmp139)) {
 1767      {
 1768#line 56
 1769      __cil_tmp140 = (unsigned long )pi;
 1770#line 56
 1771      __cil_tmp141 = __cil_tmp140 + 16;
 1772#line 56
 1773      __cil_tmp142 = *((int *)__cil_tmp141);
 1774#line 56
 1775      __cil_tmp143 = (unsigned long )__cil_tmp142;
 1776#line 56
 1777      __udelay(__cil_tmp143);
 1778      }
 1779    } else {
 1780
 1781    }
 1782    }
 1783    {
 1784#line 56
 1785    __cil_tmp144 = (unsigned long )pi;
 1786#line 56
 1787    __cil_tmp145 = __cil_tmp144 + 8;
 1788#line 56
 1789    __cil_tmp146 = *((int *)__cil_tmp145);
 1790#line 56
 1791    __cil_tmp147 = __cil_tmp146 + 2;
 1792#line 56
 1793    outb((unsigned char)5, __cil_tmp147);
 1794    }
 1795    {
 1796#line 56
 1797    __cil_tmp148 = (unsigned long )pi;
 1798#line 56
 1799    __cil_tmp149 = __cil_tmp148 + 16;
 1800#line 56
 1801    if (*((int *)__cil_tmp149)) {
 1802      {
 1803#line 56
 1804      __cil_tmp150 = (unsigned long )pi;
 1805#line 56
 1806      __cil_tmp151 = __cil_tmp150 + 16;
 1807#line 56
 1808      __cil_tmp152 = *((int *)__cil_tmp151);
 1809#line 56
 1810      __cil_tmp153 = (unsigned long )__cil_tmp152;
 1811#line 56
 1812      __udelay(__cil_tmp153);
 1813      }
 1814    } else {
 1815
 1816    }
 1817    }
 1818    {
 1819#line 56
 1820    __cil_tmp154 = (unsigned long )pi;
 1821#line 56
 1822    __cil_tmp155 = __cil_tmp154 + 8;
 1823#line 56
 1824    __cil_tmp156 = *((int *)__cil_tmp155);
 1825#line 56
 1826    __cil_tmp157 = __cil_tmp156 + 2;
 1827#line 56
 1828    outb((unsigned char)13, __cil_tmp157);
 1829    }
 1830    {
 1831#line 56
 1832    __cil_tmp158 = (unsigned long )pi;
 1833#line 56
 1834    __cil_tmp159 = __cil_tmp158 + 16;
 1835#line 56
 1836    if (*((int *)__cil_tmp159)) {
 1837      {
 1838#line 56
 1839      __cil_tmp160 = (unsigned long )pi;
 1840#line 56
 1841      __cil_tmp161 = __cil_tmp160 + 16;
 1842#line 56
 1843      __cil_tmp162 = *((int *)__cil_tmp161);
 1844#line 56
 1845      __cil_tmp163 = (unsigned long )__cil_tmp162;
 1846#line 56
 1847      __udelay(__cil_tmp163);
 1848      }
 1849    } else {
 1850
 1851    }
 1852    }
 1853    {
 1854#line 56
 1855    __cil_tmp164 = (unsigned long )pi;
 1856#line 56
 1857    __cil_tmp165 = __cil_tmp164 + 8;
 1858#line 56
 1859    __cil_tmp166 = *((int *)__cil_tmp165);
 1860#line 56
 1861    __cil_tmp167 = __cil_tmp166 + 2;
 1862#line 56
 1863    outb((unsigned char)5, __cil_tmp167);
 1864    }
 1865    {
 1866#line 56
 1867    __cil_tmp168 = (unsigned long )pi;
 1868#line 56
 1869    __cil_tmp169 = __cil_tmp168 + 16;
 1870#line 56
 1871    if (*((int *)__cil_tmp169)) {
 1872      {
 1873#line 56
 1874      __cil_tmp170 = (unsigned long )pi;
 1875#line 56
 1876      __cil_tmp171 = __cil_tmp170 + 16;
 1877#line 56
 1878      __cil_tmp172 = *((int *)__cil_tmp171);
 1879#line 56
 1880      __cil_tmp173 = (unsigned long )__cil_tmp172;
 1881#line 56
 1882      __udelay(__cil_tmp173);
 1883      }
 1884    } else {
 1885
 1886    }
 1887    }
 1888    {
 1889#line 56
 1890    __cil_tmp174 = (unsigned long )pi;
 1891#line 56
 1892    __cil_tmp175 = __cil_tmp174 + 8;
 1893#line 56
 1894    __cil_tmp176 = *((int *)__cil_tmp175);
 1895#line 56
 1896    __cil_tmp177 = __cil_tmp176 + 2;
 1897#line 56
 1898    outb((unsigned char)13, __cil_tmp177);
 1899    }
 1900    {
 1901#line 56
 1902    __cil_tmp178 = (unsigned long )pi;
 1903#line 56
 1904    __cil_tmp179 = __cil_tmp178 + 16;
 1905#line 56
 1906    if (*((int *)__cil_tmp179)) {
 1907      {
 1908#line 56
 1909      __cil_tmp180 = (unsigned long )pi;
 1910#line 56
 1911      __cil_tmp181 = __cil_tmp180 + 16;
 1912#line 56
 1913      __cil_tmp182 = *((int *)__cil_tmp181);
 1914#line 56
 1915      __cil_tmp183 = (unsigned long )__cil_tmp182;
 1916#line 56
 1917      __udelay(__cil_tmp183);
 1918      }
 1919    } else {
 1920
 1921    }
 1922    }
 1923    {
 1924#line 56
 1925    __cil_tmp184 = (unsigned long )pi;
 1926#line 56
 1927    __cil_tmp185 = __cil_tmp184 + 8;
 1928#line 56
 1929    __cil_tmp186 = *((int *)__cil_tmp185);
 1930#line 56
 1931    __cil_tmp187 = __cil_tmp186 + 2;
 1932#line 56
 1933    outb((unsigned char)5, __cil_tmp187);
 1934    }
 1935    {
 1936#line 56
 1937    __cil_tmp188 = (unsigned long )pi;
 1938#line 56
 1939    __cil_tmp189 = __cil_tmp188 + 16;
 1940#line 56
 1941    if (*((int *)__cil_tmp189)) {
 1942      {
 1943#line 56
 1944      __cil_tmp190 = (unsigned long )pi;
 1945#line 56
 1946      __cil_tmp191 = __cil_tmp190 + 16;
 1947#line 56
 1948      __cil_tmp192 = *((int *)__cil_tmp191);
 1949#line 56
 1950      __cil_tmp193 = (unsigned long )__cil_tmp192;
 1951#line 56
 1952      __udelay(__cil_tmp193);
 1953      }
 1954    } else {
 1955
 1956    }
 1957    }
 1958    {
 1959#line 56
 1960    __cil_tmp194 = (unsigned long )pi;
 1961#line 56
 1962    __cil_tmp195 = __cil_tmp194 + 8;
 1963#line 56
 1964    __cil_tmp196 = *((int *)__cil_tmp195);
 1965#line 56
 1966    __cil_tmp197 = __cil_tmp196 + 2;
 1967#line 56
 1968    outb((unsigned char)4, __cil_tmp197);
 1969    }
 1970    {
 1971#line 56
 1972    __cil_tmp198 = (unsigned long )pi;
 1973#line 56
 1974    __cil_tmp199 = __cil_tmp198 + 16;
 1975#line 56
 1976    if (*((int *)__cil_tmp199)) {
 1977      {
 1978#line 56
 1979      __cil_tmp200 = (unsigned long )pi;
 1980#line 56
 1981      __cil_tmp201 = __cil_tmp200 + 16;
 1982#line 56
 1983      __cil_tmp202 = *((int *)__cil_tmp201);
 1984#line 56
 1985      __cil_tmp203 = (unsigned long )__cil_tmp202;
 1986#line 56
 1987      __udelay(__cil_tmp203);
 1988      }
 1989    } else {
 1990
 1991    }
 1992    }
 1993    {
 1994#line 57
 1995    __cil_tmp204 = (unsigned long )pi;
 1996#line 57
 1997    __cil_tmp205 = __cil_tmp204 + 8;
 1998#line 57
 1999    __cil_tmp206 = *((int *)__cil_tmp205);
 2000#line 57
 2001    __cil_tmp207 = __cil_tmp206 + 2;
 2002#line 57
 2003    outb((unsigned char)6, __cil_tmp207);
 2004    }
 2005    {
 2006#line 57
 2007    __cil_tmp208 = (unsigned long )pi;
 2008#line 57
 2009    __cil_tmp209 = __cil_tmp208 + 16;
 2010#line 57
 2011    if (*((int *)__cil_tmp209)) {
 2012      {
 2013#line 57
 2014      __cil_tmp210 = (unsigned long )pi;
 2015#line 57
 2016      __cil_tmp211 = __cil_tmp210 + 16;
 2017#line 57
 2018      __cil_tmp212 = *((int *)__cil_tmp211);
 2019#line 57
 2020      __cil_tmp213 = (unsigned long )__cil_tmp212;
 2021#line 57
 2022      __udelay(__cil_tmp213);
 2023      }
 2024    } else {
 2025
 2026    }
 2027    }
 2028    {
 2029#line 57
 2030    __cil_tmp214 = (unsigned long )pi;
 2031#line 57
 2032    __cil_tmp215 = __cil_tmp214 + 16;
 2033#line 57
 2034    if (*((int *)__cil_tmp215)) {
 2035      {
 2036#line 57
 2037      __cil_tmp216 = (unsigned long )pi;
 2038#line 57
 2039      __cil_tmp217 = __cil_tmp216 + 16;
 2040#line 57
 2041      __cil_tmp218 = *((int *)__cil_tmp217);
 2042#line 57
 2043      __cil_tmp219 = (unsigned long )__cil_tmp218;
 2044#line 57
 2045      __udelay(__cil_tmp219);
 2046      }
 2047    } else {
 2048
 2049    }
 2050    }
 2051    {
 2052#line 57
 2053    __cil_tmp220 = (unsigned long )pi;
 2054#line 57
 2055    __cil_tmp221 = __cil_tmp220 + 8;
 2056#line 57
 2057    __cil_tmp222 = *((int *)__cil_tmp221);
 2058#line 57
 2059    __cil_tmp223 = __cil_tmp222 + 1;
 2060#line 57
 2061    tmp = inb(__cil_tmp223);
 2062#line 57
 2063    __cil_tmp224 = (int )tmp;
 2064#line 57
 2065    a = __cil_tmp224 & 255;
 2066#line 57
 2067    __cil_tmp225 = (unsigned long )pi;
 2068#line 57
 2069    __cil_tmp226 = __cil_tmp225 + 8;
 2070#line 57
 2071    __cil_tmp227 = *((int *)__cil_tmp226);
 2072#line 57
 2073    __cil_tmp228 = __cil_tmp227 + 2;
 2074#line 57
 2075    outb((unsigned char)4, __cil_tmp228);
 2076    }
 2077    {
 2078#line 57
 2079    __cil_tmp229 = (unsigned long )pi;
 2080#line 57
 2081    __cil_tmp230 = __cil_tmp229 + 16;
 2082#line 57
 2083    if (*((int *)__cil_tmp230)) {
 2084      {
 2085#line 57
 2086      __cil_tmp231 = (unsigned long )pi;
 2087#line 57
 2088      __cil_tmp232 = __cil_tmp231 + 16;
 2089#line 57
 2090      __cil_tmp233 = *((int *)__cil_tmp232);
 2091#line 57
 2092      __cil_tmp234 = (unsigned long )__cil_tmp233;
 2093#line 57
 2094      __udelay(__cil_tmp234);
 2095      }
 2096    } else {
 2097
 2098    }
 2099    }
 2100    {
 2101#line 58
 2102    __cil_tmp235 = (unsigned long )pi;
 2103#line 58
 2104    __cil_tmp236 = __cil_tmp235 + 8;
 2105#line 58
 2106    __cil_tmp237 = *((int *)__cil_tmp236);
 2107#line 58
 2108    __cil_tmp238 = __cil_tmp237 + 2;
 2109#line 58
 2110    outb((unsigned char)6, __cil_tmp238);
 2111    }
 2112    {
 2113#line 58
 2114    __cil_tmp239 = (unsigned long )pi;
 2115#line 58
 2116    __cil_tmp240 = __cil_tmp239 + 16;
 2117#line 58
 2118    if (*((int *)__cil_tmp240)) {
 2119      {
 2120#line 58
 2121      __cil_tmp241 = (unsigned long )pi;
 2122#line 58
 2123      __cil_tmp242 = __cil_tmp241 + 16;
 2124#line 58
 2125      __cil_tmp243 = *((int *)__cil_tmp242);
 2126#line 58
 2127      __cil_tmp244 = (unsigned long )__cil_tmp243;
 2128#line 58
 2129      __udelay(__cil_tmp244);
 2130      }
 2131    } else {
 2132
 2133    }
 2134    }
 2135    {
 2136#line 58
 2137    __cil_tmp245 = (unsigned long )pi;
 2138#line 58
 2139    __cil_tmp246 = __cil_tmp245 + 16;
 2140#line 58
 2141    if (*((int *)__cil_tmp246)) {
 2142      {
 2143#line 58
 2144      __cil_tmp247 = (unsigned long )pi;
 2145#line 58
 2146      __cil_tmp248 = __cil_tmp247 + 16;
 2147#line 58
 2148      __cil_tmp249 = *((int *)__cil_tmp248);
 2149#line 58
 2150      __cil_tmp250 = (unsigned long )__cil_tmp249;
 2151#line 58
 2152      __udelay(__cil_tmp250);
 2153      }
 2154    } else {
 2155
 2156    }
 2157    }
 2158    {
 2159#line 58
 2160    __cil_tmp251 = (unsigned long )pi;
 2161#line 58
 2162    __cil_tmp252 = __cil_tmp251 + 8;
 2163#line 58
 2164    __cil_tmp253 = *((int *)__cil_tmp252);
 2165#line 58
 2166    __cil_tmp254 = __cil_tmp253 + 1;
 2167#line 58
 2168    tmp___0 = inb(__cil_tmp254);
 2169#line 58
 2170    __cil_tmp255 = (int )tmp___0;
 2171#line 58
 2172    b = __cil_tmp255 & 255;
 2173#line 58
 2174    __cil_tmp256 = (unsigned long )pi;
 2175#line 58
 2176    __cil_tmp257 = __cil_tmp256 + 8;
 2177#line 58
 2178    __cil_tmp258 = *((int *)__cil_tmp257);
 2179#line 58
 2180    __cil_tmp259 = __cil_tmp258 + 2;
 2181#line 58
 2182    outb((unsigned char)4, __cil_tmp259);
 2183    }
 2184    {
 2185#line 58
 2186    __cil_tmp260 = (unsigned long )pi;
 2187#line 58
 2188    __cil_tmp261 = __cil_tmp260 + 16;
 2189#line 58
 2190    if (*((int *)__cil_tmp261)) {
 2191      {
 2192#line 58
 2193      __cil_tmp262 = (unsigned long )pi;
 2194#line 58
 2195      __cil_tmp263 = __cil_tmp262 + 16;
 2196#line 58
 2197      __cil_tmp264 = *((int *)__cil_tmp263);
 2198#line 58
 2199      __cil_tmp265 = (unsigned long )__cil_tmp264;
 2200#line 58
 2201      __udelay(__cil_tmp265);
 2202      }
 2203    } else {
 2204
 2205    }
 2206    }
 2207    {
 2208#line 59
 2209    __cil_tmp266 = (unsigned long )pi;
 2210#line 59
 2211    __cil_tmp267 = __cil_tmp266 + 8;
 2212#line 59
 2213    __cil_tmp268 = *((int *)__cil_tmp267);
 2214#line 59
 2215    __cil_tmp269 = __cil_tmp268 + 2;
 2216#line 59
 2217    outb((unsigned char)6, __cil_tmp269);
 2218    }
 2219    {
 2220#line 59
 2221    __cil_tmp270 = (unsigned long )pi;
 2222#line 59
 2223    __cil_tmp271 = __cil_tmp270 + 16;
 2224#line 59
 2225    if (*((int *)__cil_tmp271)) {
 2226      {
 2227#line 59
 2228      __cil_tmp272 = (unsigned long )pi;
 2229#line 59
 2230      __cil_tmp273 = __cil_tmp272 + 16;
 2231#line 59
 2232      __cil_tmp274 = *((int *)__cil_tmp273);
 2233#line 59
 2234      __cil_tmp275 = (unsigned long )__cil_tmp274;
 2235#line 59
 2236      __udelay(__cil_tmp275);
 2237      }
 2238    } else {
 2239
 2240    }
 2241    }
 2242    {
 2243#line 59
 2244    __cil_tmp276 = (unsigned long )pi;
 2245#line 59
 2246    __cil_tmp277 = __cil_tmp276 + 8;
 2247#line 59
 2248    __cil_tmp278 = *((int *)__cil_tmp277);
 2249#line 59
 2250    __cil_tmp279 = __cil_tmp278 + 2;
 2251#line 59
 2252    outb((unsigned char)4, __cil_tmp279);
 2253    }
 2254    {
 2255#line 59
 2256    __cil_tmp280 = (unsigned long )pi;
 2257#line 59
 2258    __cil_tmp281 = __cil_tmp280 + 16;
 2259#line 59
 2260    if (*((int *)__cil_tmp281)) {
 2261      {
 2262#line 59
 2263      __cil_tmp282 = (unsigned long )pi;
 2264#line 59
 2265      __cil_tmp283 = __cil_tmp282 + 16;
 2266#line 59
 2267      __cil_tmp284 = *((int *)__cil_tmp283);
 2268#line 59
 2269      __cil_tmp285 = (unsigned long )__cil_tmp284;
 2270#line 59
 2271      __udelay(__cil_tmp285);
 2272      }
 2273    } else {
 2274
 2275    }
 2276    }
 2277    {
 2278#line 59
 2279    __cil_tmp286 = (unsigned long )pi;
 2280#line 59
 2281    __cil_tmp287 = __cil_tmp286 + 8;
 2282#line 59
 2283    __cil_tmp288 = *((int *)__cil_tmp287);
 2284#line 59
 2285    __cil_tmp289 = __cil_tmp288 + 2;
 2286#line 59
 2287    outb((unsigned char)6, __cil_tmp289);
 2288    }
 2289    {
 2290#line 59
 2291    __cil_tmp290 = (unsigned long )pi;
 2292#line 59
 2293    __cil_tmp291 = __cil_tmp290 + 16;
 2294#line 59
 2295    if (*((int *)__cil_tmp291)) {
 2296      {
 2297#line 59
 2298      __cil_tmp292 = (unsigned long )pi;
 2299#line 59
 2300      __cil_tmp293 = __cil_tmp292 + 16;
 2301#line 59
 2302      __cil_tmp294 = *((int *)__cil_tmp293);
 2303#line 59
 2304      __cil_tmp295 = (unsigned long )__cil_tmp294;
 2305#line 59
 2306      __udelay(__cil_tmp295);
 2307      }
 2308    } else {
 2309
 2310    }
 2311    }
 2312    {
 2313#line 59
 2314    __cil_tmp296 = (unsigned long )pi;
 2315#line 59
 2316    __cil_tmp297 = __cil_tmp296 + 8;
 2317#line 59
 2318    __cil_tmp298 = *((int *)__cil_tmp297);
 2319#line 59
 2320    __cil_tmp299 = __cil_tmp298 + 2;
 2321#line 59
 2322    outb((unsigned char)4, __cil_tmp299);
 2323    }
 2324    {
 2325#line 59
 2326    __cil_tmp300 = (unsigned long )pi;
 2327#line 59
 2328    __cil_tmp301 = __cil_tmp300 + 16;
 2329#line 59
 2330    if (*((int *)__cil_tmp301)) {
 2331      {
 2332#line 59
 2333      __cil_tmp302 = (unsigned long )pi;
 2334#line 59
 2335      __cil_tmp303 = __cil_tmp302 + 16;
 2336#line 59
 2337      __cil_tmp304 = *((int *)__cil_tmp303);
 2338#line 59
 2339      __cil_tmp305 = (unsigned long )__cil_tmp304;
 2340#line 59
 2341      __udelay(__cil_tmp305);
 2342      }
 2343    } else {
 2344
 2345    }
 2346    }
 2347    {
 2348#line 60
 2349    __cil_tmp306 = b & 240;
 2350#line 60
 2351    __cil_tmp307 = a >> 4;
 2352#line 60
 2353    __cil_tmp308 = __cil_tmp307 & 15;
 2354#line 60
 2355    return (__cil_tmp308 | __cil_tmp306);
 2356    }
 2357    case_1: /* CIL Label */ 
 2358    {
 2359#line 62
 2360    __cil_tmp309 = (unsigned long )pi;
 2361#line 62
 2362    __cil_tmp310 = __cil_tmp309 + 8;
 2363#line 62
 2364    __cil_tmp311 = *((int *)__cil_tmp310);
 2365#line 62
 2366    outb((unsigned char)1, __cil_tmp311);
 2367    }
 2368    {
 2369#line 62
 2370    __cil_tmp312 = (unsigned long )pi;
 2371#line 62
 2372    __cil_tmp313 = __cil_tmp312 + 16;
 2373#line 62
 2374    if (*((int *)__cil_tmp313)) {
 2375      {
 2376#line 62
 2377      __cil_tmp314 = (unsigned long )pi;
 2378#line 62
 2379      __cil_tmp315 = __cil_tmp314 + 16;
 2380#line 62
 2381      __cil_tmp316 = *((int *)__cil_tmp315);
 2382#line 62
 2383      __cil_tmp317 = (unsigned long )__cil_tmp316;
 2384#line 62
 2385      __udelay(__cil_tmp317);
 2386      }
 2387    } else {
 2388
 2389    }
 2390    }
 2391    {
 2392#line 62
 2393    __cil_tmp318 = (unsigned long )pi;
 2394#line 62
 2395    __cil_tmp319 = __cil_tmp318 + 8;
 2396#line 62
 2397    __cil_tmp320 = *((int *)__cil_tmp319);
 2398#line 62
 2399    __cil_tmp321 = __cil_tmp320 + 2;
 2400#line 62
 2401    outb((unsigned char)5, __cil_tmp321);
 2402    }
 2403    {
 2404#line 62
 2405    __cil_tmp322 = (unsigned long )pi;
 2406#line 62
 2407    __cil_tmp323 = __cil_tmp322 + 16;
 2408#line 62
 2409    if (*((int *)__cil_tmp323)) {
 2410      {
 2411#line 62
 2412      __cil_tmp324 = (unsigned long )pi;
 2413#line 62
 2414      __cil_tmp325 = __cil_tmp324 + 16;
 2415#line 62
 2416      __cil_tmp326 = *((int *)__cil_tmp325);
 2417#line 62
 2418      __cil_tmp327 = (unsigned long )__cil_tmp326;
 2419#line 62
 2420      __udelay(__cil_tmp327);
 2421      }
 2422    } else {
 2423
 2424    }
 2425    }
 2426    {
 2427#line 62
 2428    __cil_tmp328 = (unsigned long )pi;
 2429#line 62
 2430    __cil_tmp329 = __cil_tmp328 + 8;
 2431#line 62
 2432    __cil_tmp330 = *((int *)__cil_tmp329);
 2433#line 62
 2434    __cil_tmp331 = __cil_tmp330 + 2;
 2435#line 62
 2436    outb((unsigned char)13, __cil_tmp331);
 2437    }
 2438    {
 2439#line 62
 2440    __cil_tmp332 = (unsigned long )pi;
 2441#line 62
 2442    __cil_tmp333 = __cil_tmp332 + 16;
 2443#line 62
 2444    if (*((int *)__cil_tmp333)) {
 2445      {
 2446#line 62
 2447      __cil_tmp334 = (unsigned long )pi;
 2448#line 62
 2449      __cil_tmp335 = __cil_tmp334 + 16;
 2450#line 62
 2451      __cil_tmp336 = *((int *)__cil_tmp335);
 2452#line 62
 2453      __cil_tmp337 = (unsigned long )__cil_tmp336;
 2454#line 62
 2455      __udelay(__cil_tmp337);
 2456      }
 2457    } else {
 2458
 2459    }
 2460    }
 2461    {
 2462#line 62
 2463    __cil_tmp338 = (unsigned long )pi;
 2464#line 62
 2465    __cil_tmp339 = __cil_tmp338 + 8;
 2466#line 62
 2467    __cil_tmp340 = *((int *)__cil_tmp339);
 2468#line 62
 2469    __cil_tmp341 = __cil_tmp340 + 2;
 2470#line 62
 2471    outb((unsigned char)5, __cil_tmp341);
 2472    }
 2473    {
 2474#line 62
 2475    __cil_tmp342 = (unsigned long )pi;
 2476#line 62
 2477    __cil_tmp343 = __cil_tmp342 + 16;
 2478#line 62
 2479    if (*((int *)__cil_tmp343)) {
 2480      {
 2481#line 62
 2482      __cil_tmp344 = (unsigned long )pi;
 2483#line 62
 2484      __cil_tmp345 = __cil_tmp344 + 16;
 2485#line 62
 2486      __cil_tmp346 = *((int *)__cil_tmp345);
 2487#line 62
 2488      __cil_tmp347 = (unsigned long )__cil_tmp346;
 2489#line 62
 2490      __udelay(__cil_tmp347);
 2491      }
 2492    } else {
 2493
 2494    }
 2495    }
 2496    {
 2497#line 62
 2498    __cil_tmp348 = (unsigned long )pi;
 2499#line 62
 2500    __cil_tmp349 = __cil_tmp348 + 8;
 2501#line 62
 2502    __cil_tmp350 = *((int *)__cil_tmp349);
 2503#line 62
 2504    __cil_tmp351 = __cil_tmp350 + 2;
 2505#line 62
 2506    outb((unsigned char)13, __cil_tmp351);
 2507    }
 2508    {
 2509#line 62
 2510    __cil_tmp352 = (unsigned long )pi;
 2511#line 62
 2512    __cil_tmp353 = __cil_tmp352 + 16;
 2513#line 62
 2514    if (*((int *)__cil_tmp353)) {
 2515      {
 2516#line 62
 2517      __cil_tmp354 = (unsigned long )pi;
 2518#line 62
 2519      __cil_tmp355 = __cil_tmp354 + 16;
 2520#line 62
 2521      __cil_tmp356 = *((int *)__cil_tmp355);
 2522#line 62
 2523      __cil_tmp357 = (unsigned long )__cil_tmp356;
 2524#line 62
 2525      __udelay(__cil_tmp357);
 2526      }
 2527    } else {
 2528
 2529    }
 2530    }
 2531    {
 2532#line 62
 2533    __cil_tmp358 = (unsigned long )pi;
 2534#line 62
 2535    __cil_tmp359 = __cil_tmp358 + 8;
 2536#line 62
 2537    __cil_tmp360 = *((int *)__cil_tmp359);
 2538#line 62
 2539    __cil_tmp361 = __cil_tmp360 + 2;
 2540#line 62
 2541    outb((unsigned char)5, __cil_tmp361);
 2542    }
 2543    {
 2544#line 62
 2545    __cil_tmp362 = (unsigned long )pi;
 2546#line 62
 2547    __cil_tmp363 = __cil_tmp362 + 16;
 2548#line 62
 2549    if (*((int *)__cil_tmp363)) {
 2550      {
 2551#line 62
 2552      __cil_tmp364 = (unsigned long )pi;
 2553#line 62
 2554      __cil_tmp365 = __cil_tmp364 + 16;
 2555#line 62
 2556      __cil_tmp366 = *((int *)__cil_tmp365);
 2557#line 62
 2558      __cil_tmp367 = (unsigned long )__cil_tmp366;
 2559#line 62
 2560      __udelay(__cil_tmp367);
 2561      }
 2562    } else {
 2563
 2564    }
 2565    }
 2566    {
 2567#line 62
 2568    __cil_tmp368 = (unsigned long )pi;
 2569#line 62
 2570    __cil_tmp369 = __cil_tmp368 + 8;
 2571#line 62
 2572    __cil_tmp370 = *((int *)__cil_tmp369);
 2573#line 62
 2574    __cil_tmp371 = __cil_tmp370 + 2;
 2575#line 62
 2576    outb((unsigned char)4, __cil_tmp371);
 2577    }
 2578    {
 2579#line 62
 2580    __cil_tmp372 = (unsigned long )pi;
 2581#line 62
 2582    __cil_tmp373 = __cil_tmp372 + 16;
 2583#line 62
 2584    if (*((int *)__cil_tmp373)) {
 2585      {
 2586#line 62
 2587      __cil_tmp374 = (unsigned long )pi;
 2588#line 62
 2589      __cil_tmp375 = __cil_tmp374 + 16;
 2590#line 62
 2591      __cil_tmp376 = *((int *)__cil_tmp375);
 2592#line 62
 2593      __cil_tmp377 = (unsigned long )__cil_tmp376;
 2594#line 62
 2595      __udelay(__cil_tmp377);
 2596      }
 2597    } else {
 2598
 2599    }
 2600    }
 2601    {
 2602#line 62
 2603    __cil_tmp378 = (unsigned char )r;
 2604#line 62
 2605    __cil_tmp379 = (unsigned long )pi;
 2606#line 62
 2607    __cil_tmp380 = __cil_tmp379 + 8;
 2608#line 62
 2609    __cil_tmp381 = *((int *)__cil_tmp380);
 2610#line 62
 2611    outb(__cil_tmp378, __cil_tmp381);
 2612    }
 2613    {
 2614#line 62
 2615    __cil_tmp382 = (unsigned long )pi;
 2616#line 62
 2617    __cil_tmp383 = __cil_tmp382 + 16;
 2618#line 62
 2619    if (*((int *)__cil_tmp383)) {
 2620      {
 2621#line 62
 2622      __cil_tmp384 = (unsigned long )pi;
 2623#line 62
 2624      __cil_tmp385 = __cil_tmp384 + 16;
 2625#line 62
 2626      __cil_tmp386 = *((int *)__cil_tmp385);
 2627#line 62
 2628      __cil_tmp387 = (unsigned long )__cil_tmp386;
 2629#line 62
 2630      __udelay(__cil_tmp387);
 2631      }
 2632    } else {
 2633
 2634    }
 2635    }
 2636    {
 2637#line 62
 2638    __cil_tmp388 = (unsigned long )pi;
 2639#line 62
 2640    __cil_tmp389 = __cil_tmp388 + 8;
 2641#line 62
 2642    __cil_tmp390 = *((int *)__cil_tmp389);
 2643#line 62
 2644    __cil_tmp391 = __cil_tmp390 + 2;
 2645#line 62
 2646    outb((unsigned char)5, __cil_tmp391);
 2647    }
 2648    {
 2649#line 62
 2650    __cil_tmp392 = (unsigned long )pi;
 2651#line 62
 2652    __cil_tmp393 = __cil_tmp392 + 16;
 2653#line 62
 2654    if (*((int *)__cil_tmp393)) {
 2655      {
 2656#line 62
 2657      __cil_tmp394 = (unsigned long )pi;
 2658#line 62
 2659      __cil_tmp395 = __cil_tmp394 + 16;
 2660#line 62
 2661      __cil_tmp396 = *((int *)__cil_tmp395);
 2662#line 62
 2663      __cil_tmp397 = (unsigned long )__cil_tmp396;
 2664#line 62
 2665      __udelay(__cil_tmp397);
 2666      }
 2667    } else {
 2668
 2669    }
 2670    }
 2671    {
 2672#line 62
 2673    __cil_tmp398 = (unsigned long )pi;
 2674#line 62
 2675    __cil_tmp399 = __cil_tmp398 + 8;
 2676#line 62
 2677    __cil_tmp400 = *((int *)__cil_tmp399);
 2678#line 62
 2679    __cil_tmp401 = __cil_tmp400 + 2;
 2680#line 62
 2681    outb((unsigned char)7, __cil_tmp401);
 2682    }
 2683    {
 2684#line 62
 2685    __cil_tmp402 = (unsigned long )pi;
 2686#line 62
 2687    __cil_tmp403 = __cil_tmp402 + 16;
 2688#line 62
 2689    if (*((int *)__cil_tmp403)) {
 2690      {
 2691#line 62
 2692      __cil_tmp404 = (unsigned long )pi;
 2693#line 62
 2694      __cil_tmp405 = __cil_tmp404 + 16;
 2695#line 62
 2696      __cil_tmp406 = *((int *)__cil_tmp405);
 2697#line 62
 2698      __cil_tmp407 = (unsigned long )__cil_tmp406;
 2699#line 62
 2700      __udelay(__cil_tmp407);
 2701      }
 2702    } else {
 2703
 2704    }
 2705    }
 2706    {
 2707#line 62
 2708    __cil_tmp408 = (unsigned long )pi;
 2709#line 62
 2710    __cil_tmp409 = __cil_tmp408 + 8;
 2711#line 62
 2712    __cil_tmp410 = *((int *)__cil_tmp409);
 2713#line 62
 2714    __cil_tmp411 = __cil_tmp410 + 2;
 2715#line 62
 2716    outb((unsigned char)5, __cil_tmp411);
 2717    }
 2718    {
 2719#line 62
 2720    __cil_tmp412 = (unsigned long )pi;
 2721#line 62
 2722    __cil_tmp413 = __cil_tmp412 + 16;
 2723#line 62
 2724    if (*((int *)__cil_tmp413)) {
 2725      {
 2726#line 62
 2727      __cil_tmp414 = (unsigned long )pi;
 2728#line 62
 2729      __cil_tmp415 = __cil_tmp414 + 16;
 2730#line 62
 2731      __cil_tmp416 = *((int *)__cil_tmp415);
 2732#line 62
 2733      __cil_tmp417 = (unsigned long )__cil_tmp416;
 2734#line 62
 2735      __udelay(__cil_tmp417);
 2736      }
 2737    } else {
 2738
 2739    }
 2740    }
 2741    {
 2742#line 62
 2743    __cil_tmp418 = (unsigned long )pi;
 2744#line 62
 2745    __cil_tmp419 = __cil_tmp418 + 8;
 2746#line 62
 2747    __cil_tmp420 = *((int *)__cil_tmp419);
 2748#line 62
 2749    __cil_tmp421 = __cil_tmp420 + 2;
 2750#line 62
 2751    outb((unsigned char)4, __cil_tmp421);
 2752    }
 2753    {
 2754#line 62
 2755    __cil_tmp422 = (unsigned long )pi;
 2756#line 62
 2757    __cil_tmp423 = __cil_tmp422 + 16;
 2758#line 62
 2759    if (*((int *)__cil_tmp423)) {
 2760      {
 2761#line 62
 2762      __cil_tmp424 = (unsigned long )pi;
 2763#line 62
 2764      __cil_tmp425 = __cil_tmp424 + 16;
 2765#line 62
 2766      __cil_tmp426 = *((int *)__cil_tmp425);
 2767#line 62
 2768      __cil_tmp427 = (unsigned long )__cil_tmp426;
 2769#line 62
 2770      __udelay(__cil_tmp427);
 2771      }
 2772    } else {
 2773
 2774    }
 2775    }
 2776    {
 2777#line 62
 2778    __cil_tmp428 = (unsigned long )pi;
 2779#line 62
 2780    __cil_tmp429 = __cil_tmp428 + 8;
 2781#line 62
 2782    __cil_tmp430 = *((int *)__cil_tmp429);
 2783#line 62
 2784    outb((unsigned char)0, __cil_tmp430);
 2785    }
 2786    {
 2787#line 62
 2788    __cil_tmp431 = (unsigned long )pi;
 2789#line 62
 2790    __cil_tmp432 = __cil_tmp431 + 16;
 2791#line 62
 2792    if (*((int *)__cil_tmp432)) {
 2793      {
 2794#line 62
 2795      __cil_tmp433 = (unsigned long )pi;
 2796#line 62
 2797      __cil_tmp434 = __cil_tmp433 + 16;
 2798#line 62
 2799      __cil_tmp435 = *((int *)__cil_tmp434);
 2800#line 62
 2801      __cil_tmp436 = (unsigned long )__cil_tmp435;
 2802#line 62
 2803      __udelay(__cil_tmp436);
 2804      }
 2805    } else {
 2806
 2807    }
 2808    }
 2809    {
 2810#line 62
 2811    __cil_tmp437 = (unsigned long )pi;
 2812#line 62
 2813    __cil_tmp438 = __cil_tmp437 + 8;
 2814#line 62
 2815    __cil_tmp439 = *((int *)__cil_tmp438);
 2816#line 62
 2817    __cil_tmp440 = __cil_tmp439 + 2;
 2818#line 62
 2819    outb((unsigned char)5, __cil_tmp440);
 2820    }
 2821    {
 2822#line 62
 2823    __cil_tmp441 = (unsigned long )pi;
 2824#line 62
 2825    __cil_tmp442 = __cil_tmp441 + 16;
 2826#line 62
 2827    if (*((int *)__cil_tmp442)) {
 2828      {
 2829#line 62
 2830      __cil_tmp443 = (unsigned long )pi;
 2831#line 62
 2832      __cil_tmp444 = __cil_tmp443 + 16;
 2833#line 62
 2834      __cil_tmp445 = *((int *)__cil_tmp444);
 2835#line 62
 2836      __cil_tmp446 = (unsigned long )__cil_tmp445;
 2837#line 62
 2838      __udelay(__cil_tmp446);
 2839      }
 2840    } else {
 2841
 2842    }
 2843    }
 2844    {
 2845#line 62
 2846    __cil_tmp447 = (unsigned long )pi;
 2847#line 62
 2848    __cil_tmp448 = __cil_tmp447 + 8;
 2849#line 62
 2850    __cil_tmp449 = *((int *)__cil_tmp448);
 2851#line 62
 2852    __cil_tmp450 = __cil_tmp449 + 2;
 2853#line 62
 2854    outb((unsigned char)13, __cil_tmp450);
 2855    }
 2856    {
 2857#line 62
 2858    __cil_tmp451 = (unsigned long )pi;
 2859#line 62
 2860    __cil_tmp452 = __cil_tmp451 + 16;
 2861#line 62
 2862    if (*((int *)__cil_tmp452)) {
 2863      {
 2864#line 62
 2865      __cil_tmp453 = (unsigned long )pi;
 2866#line 62
 2867      __cil_tmp454 = __cil_tmp453 + 16;
 2868#line 62
 2869      __cil_tmp455 = *((int *)__cil_tmp454);
 2870#line 62
 2871      __cil_tmp456 = (unsigned long )__cil_tmp455;
 2872#line 62
 2873      __udelay(__cil_tmp456);
 2874      }
 2875    } else {
 2876
 2877    }
 2878    }
 2879    {
 2880#line 62
 2881    __cil_tmp457 = (unsigned long )pi;
 2882#line 62
 2883    __cil_tmp458 = __cil_tmp457 + 8;
 2884#line 62
 2885    __cil_tmp459 = *((int *)__cil_tmp458);
 2886#line 62
 2887    __cil_tmp460 = __cil_tmp459 + 2;
 2888#line 62
 2889    outb((unsigned char)5, __cil_tmp460);
 2890    }
 2891    {
 2892#line 62
 2893    __cil_tmp461 = (unsigned long )pi;
 2894#line 62
 2895    __cil_tmp462 = __cil_tmp461 + 16;
 2896#line 62
 2897    if (*((int *)__cil_tmp462)) {
 2898      {
 2899#line 62
 2900      __cil_tmp463 = (unsigned long )pi;
 2901#line 62
 2902      __cil_tmp464 = __cil_tmp463 + 16;
 2903#line 62
 2904      __cil_tmp465 = *((int *)__cil_tmp464);
 2905#line 62
 2906      __cil_tmp466 = (unsigned long )__cil_tmp465;
 2907#line 62
 2908      __udelay(__cil_tmp466);
 2909      }
 2910    } else {
 2911
 2912    }
 2913    }
 2914    {
 2915#line 62
 2916    __cil_tmp467 = (unsigned long )pi;
 2917#line 62
 2918    __cil_tmp468 = __cil_tmp467 + 8;
 2919#line 62
 2920    __cil_tmp469 = *((int *)__cil_tmp468);
 2921#line 62
 2922    __cil_tmp470 = __cil_tmp469 + 2;
 2923#line 62
 2924    outb((unsigned char)13, __cil_tmp470);
 2925    }
 2926    {
 2927#line 62
 2928    __cil_tmp471 = (unsigned long )pi;
 2929#line 62
 2930    __cil_tmp472 = __cil_tmp471 + 16;
 2931#line 62
 2932    if (*((int *)__cil_tmp472)) {
 2933      {
 2934#line 62
 2935      __cil_tmp473 = (unsigned long )pi;
 2936#line 62
 2937      __cil_tmp474 = __cil_tmp473 + 16;
 2938#line 62
 2939      __cil_tmp475 = *((int *)__cil_tmp474);
 2940#line 62
 2941      __cil_tmp476 = (unsigned long )__cil_tmp475;
 2942#line 62
 2943      __udelay(__cil_tmp476);
 2944      }
 2945    } else {
 2946
 2947    }
 2948    }
 2949    {
 2950#line 62
 2951    __cil_tmp477 = (unsigned long )pi;
 2952#line 62
 2953    __cil_tmp478 = __cil_tmp477 + 8;
 2954#line 62
 2955    __cil_tmp479 = *((int *)__cil_tmp478);
 2956#line 62
 2957    __cil_tmp480 = __cil_tmp479 + 2;
 2958#line 62
 2959    outb((unsigned char)5, __cil_tmp480);
 2960    }
 2961    {
 2962#line 62
 2963    __cil_tmp481 = (unsigned long )pi;
 2964#line 62
 2965    __cil_tmp482 = __cil_tmp481 + 16;
 2966#line 62
 2967    if (*((int *)__cil_tmp482)) {
 2968      {
 2969#line 62
 2970      __cil_tmp483 = (unsigned long )pi;
 2971#line 62
 2972      __cil_tmp484 = __cil_tmp483 + 16;
 2973#line 62
 2974      __cil_tmp485 = *((int *)__cil_tmp484);
 2975#line 62
 2976      __cil_tmp486 = (unsigned long )__cil_tmp485;
 2977#line 62
 2978      __udelay(__cil_tmp486);
 2979      }
 2980    } else {
 2981
 2982    }
 2983    }
 2984    {
 2985#line 62
 2986    __cil_tmp487 = (unsigned long )pi;
 2987#line 62
 2988    __cil_tmp488 = __cil_tmp487 + 8;
 2989#line 62
 2990    __cil_tmp489 = *((int *)__cil_tmp488);
 2991#line 62
 2992    __cil_tmp490 = __cil_tmp489 + 2;
 2993#line 62
 2994    outb((unsigned char)4, __cil_tmp490);
 2995    }
 2996    {
 2997#line 62
 2998    __cil_tmp491 = (unsigned long )pi;
 2999#line 62
 3000    __cil_tmp492 = __cil_tmp491 + 16;
 3001#line 62
 3002    if (*((int *)__cil_tmp492)) {
 3003      {
 3004#line 62
 3005      __cil_tmp493 = (unsigned long )pi;
 3006#line 62
 3007      __cil_tmp494 = __cil_tmp493 + 16;
 3008#line 62
 3009      __cil_tmp495 = *((int *)__cil_tmp494);
 3010#line 62
 3011      __cil_tmp496 = (unsigned long )__cil_tmp495;
 3012#line 62
 3013      __udelay(__cil_tmp496);
 3014      }
 3015    } else {
 3016
 3017    }
 3018    }
 3019    {
 3020#line 63
 3021    __cil_tmp497 = (unsigned long )pi;
 3022#line 63
 3023    __cil_tmp498 = __cil_tmp497 + 8;
 3024#line 63
 3025    __cil_tmp499 = *((int *)__cil_tmp498);
 3026#line 63
 3027    __cil_tmp500 = __cil_tmp499 + 2;
 3028#line 63
 3029    outb((unsigned char)38, __cil_tmp500);
 3030    }
 3031    {
 3032#line 63
 3033    __cil_tmp501 = (unsigned long )pi;
 3034#line 63
 3035    __cil_tmp502 = __cil_tmp501 + 16;
 3036#line 63
 3037    if (*((int *)__cil_tmp502)) {
 3038      {
 3039#line 63
 3040      __cil_tmp503 = (unsigned long )pi;
 3041#line 63
 3042      __cil_tmp504 = __cil_tmp503 + 16;
 3043#line 63
 3044      __cil_tmp505 = *((int *)__cil_tmp504);
 3045#line 63
 3046      __cil_tmp506 = (unsigned long )__cil_tmp505;
 3047#line 63
 3048      __udelay(__cil_tmp506);
 3049      }
 3050    } else {
 3051
 3052    }
 3053    }
 3054    {
 3055#line 63
 3056    __cil_tmp507 = (unsigned long )pi;
 3057#line 63
 3058    __cil_tmp508 = __cil_tmp507 + 16;
 3059#line 63
 3060    if (*((int *)__cil_tmp508)) {
 3061      {
 3062#line 63
 3063      __cil_tmp509 = (unsigned long )pi;
 3064#line 63
 3065      __cil_tmp510 = __cil_tmp509 + 16;
 3066#line 63
 3067      __cil_tmp511 = *((int *)__cil_tmp510);
 3068#line 63
 3069      __cil_tmp512 = (unsigned long )__cil_tmp511;
 3070#line 63
 3071      __udelay(__cil_tmp512);
 3072      }
 3073    } else {
 3074
 3075    }
 3076    }
 3077    {
 3078#line 63
 3079    __cil_tmp513 = (unsigned long )pi;
 3080#line 63
 3081    __cil_tmp514 = __cil_tmp513 + 8;
 3082#line 63
 3083    __cil_tmp515 = *((int *)__cil_tmp514);
 3084#line 63
 3085    tmp___1 = inb(__cil_tmp515);
 3086#line 63
 3087    __cil_tmp516 = (int )tmp___1;
 3088#line 63
 3089    a = __cil_tmp516 & 255;
 3090#line 63
 3091    __cil_tmp517 = (unsigned long )pi;
 3092#line 63
 3093    __cil_tmp518 = __cil_tmp517 + 8;
 3094#line 63
 3095    __cil_tmp519 = *((int *)__cil_tmp518);
 3096#line 63
 3097    __cil_tmp520 = __cil_tmp519 + 2;
 3098#line 63
 3099    outb((unsigned char)4, __cil_tmp520);
 3100    }
 3101    {
 3102#line 63
 3103    __cil_tmp521 = (unsigned long )pi;
 3104#line 63
 3105    __cil_tmp522 = __cil_tmp521 + 16;
 3106#line 63
 3107    if (*((int *)__cil_tmp522)) {
 3108      {
 3109#line 63
 3110      __cil_tmp523 = (unsigned long )pi;
 3111#line 63
 3112      __cil_tmp524 = __cil_tmp523 + 16;
 3113#line 63
 3114      __cil_tmp525 = *((int *)__cil_tmp524);
 3115#line 63
 3116      __cil_tmp526 = (unsigned long )__cil_tmp525;
 3117#line 63
 3118      __udelay(__cil_tmp526);
 3119      }
 3120    } else {
 3121
 3122    }
 3123    }
 3124    {
 3125#line 63
 3126    __cil_tmp527 = (unsigned long )pi;
 3127#line 63
 3128    __cil_tmp528 = __cil_tmp527 + 8;
 3129#line 63
 3130    __cil_tmp529 = *((int *)__cil_tmp528);
 3131#line 63
 3132    __cil_tmp530 = __cil_tmp529 + 2;
 3133#line 63
 3134    outb((unsigned char)38, __cil_tmp530);
 3135    }
 3136    {
 3137#line 63
 3138    __cil_tmp531 = (unsigned long )pi;
 3139#line 63
 3140    __cil_tmp532 = __cil_tmp531 + 16;
 3141#line 63
 3142    if (*((int *)__cil_tmp532)) {
 3143      {
 3144#line 63
 3145      __cil_tmp533 = (unsigned long )pi;
 3146#line 63
 3147      __cil_tmp534 = __cil_tmp533 + 16;
 3148#line 63
 3149      __cil_tmp535 = *((int *)__cil_tmp534);
 3150#line 63
 3151      __cil_tmp536 = (unsigned long )__cil_tmp535;
 3152#line 63
 3153      __udelay(__cil_tmp536);
 3154      }
 3155    } else {
 3156
 3157    }
 3158    }
 3159    {
 3160#line 63
 3161    __cil_tmp537 = (unsigned long )pi;
 3162#line 63
 3163    __cil_tmp538 = __cil_tmp537 + 8;
 3164#line 63
 3165    __cil_tmp539 = *((int *)__cil_tmp538);
 3166#line 63
 3167    __cil_tmp540 = __cil_tmp539 + 2;
 3168#line 63
 3169    outb((unsigned char)4, __cil_tmp540);
 3170    }
 3171    {
 3172#line 63
 3173    __cil_tmp541 = (unsigned long )pi;
 3174#line 63
 3175    __cil_tmp542 = __cil_tmp541 + 16;
 3176#line 63
 3177    if (*((int *)__cil_tmp542)) {
 3178      {
 3179#line 63
 3180      __cil_tmp543 = (unsigned long )pi;
 3181#line 63
 3182      __cil_tmp544 = __cil_tmp543 + 16;
 3183#line 63
 3184      __cil_tmp545 = *((int *)__cil_tmp544);
 3185#line 63
 3186      __cil_tmp546 = (unsigned long )__cil_tmp545;
 3187#line 63
 3188      __udelay(__cil_tmp546);
 3189      }
 3190    } else {
 3191
 3192    }
 3193    }
 3194#line 64
 3195    return (a);
 3196    case_2: /* CIL Label */ 
 3197    case_3: /* CIL Label */ 
 3198    case_4: /* CIL Label */ 
 3199    {
 3200#line 68
 3201    __cil_tmp547 = (unsigned long )pi;
 3202#line 68
 3203    __cil_tmp548 = __cil_tmp547 + 8;
 3204#line 68
 3205    __cil_tmp549 = *((int *)__cil_tmp548);
 3206#line 68
 3207    __cil_tmp550 = __cil_tmp549 + 3;
 3208#line 68
 3209    outb((unsigned char)1, __cil_tmp550);
 3210    }
 3211    {
 3212#line 68
 3213    __cil_tmp551 = (unsigned long )pi;
 3214#line 68
 3215    __cil_tmp552 = __cil_tmp551 + 16;
 3216#line 68
 3217    if (*((int *)__cil_tmp552)) {
 3218      {
 3219#line 68
 3220      __cil_tmp553 = (unsigned long )pi;
 3221#line 68
 3222      __cil_tmp554 = __cil_tmp553 + 16;
 3223#line 68
 3224      __cil_tmp555 = *((int *)__cil_tmp554);
 3225#line 68
 3226      __cil_tmp556 = (unsigned long )__cil_tmp555;
 3227#line 68
 3228      __udelay(__cil_tmp556);
 3229      }
 3230    } else {
 3231
 3232    }
 3233    }
 3234    {
 3235#line 68
 3236    __cil_tmp557 = (unsigned long )pi;
 3237#line 68
 3238    __cil_tmp558 = __cil_tmp557 + 8;
 3239#line 68
 3240    __cil_tmp559 = *((int *)__cil_tmp558);
 3241#line 68
 3242    __cil_tmp560 = __cil_tmp559 + 3;
 3243#line 68
 3244    outb((unsigned char)1, __cil_tmp560);
 3245    }
 3246    {
 3247#line 68
 3248    __cil_tmp561 = (unsigned long )pi;
 3249#line 68
 3250    __cil_tmp562 = __cil_tmp561 + 16;
 3251#line 68
 3252    if (*((int *)__cil_tmp562)) {
 3253      {
 3254#line 68
 3255      __cil_tmp563 = (unsigned long )pi;
 3256#line 68
 3257      __cil_tmp564 = __cil_tmp563 + 16;
 3258#line 68
 3259      __cil_tmp565 = *((int *)__cil_tmp564);
 3260#line 68
 3261      __cil_tmp566 = (unsigned long )__cil_tmp565;
 3262#line 68
 3263      __udelay(__cil_tmp566);
 3264      }
 3265    } else {
 3266
 3267    }
 3268    }
 3269    {
 3270#line 68
 3271    __cil_tmp567 = (unsigned long )pi;
 3272#line 68
 3273    __cil_tmp568 = __cil_tmp567 + 8;
 3274#line 68
 3275    __cil_tmp569 = *((int *)__cil_tmp568);
 3276#line 68
 3277    __cil_tmp570 = __cil_tmp569 + 2;
 3278#line 68
 3279    outb((unsigned char)5, __cil_tmp570);
 3280    }
 3281    {
 3282#line 68
 3283    __cil_tmp571 = (unsigned long )pi;
 3284#line 68
 3285    __cil_tmp572 = __cil_tmp571 + 16;
 3286#line 68
 3287    if (*((int *)__cil_tmp572)) {
 3288      {
 3289#line 68
 3290      __cil_tmp573 = (unsigned long )pi;
 3291#line 68
 3292      __cil_tmp574 = __cil_tmp573 + 16;
 3293#line 68
 3294      __cil_tmp575 = *((int *)__cil_tmp574);
 3295#line 68
 3296      __cil_tmp576 = (unsigned long )__cil_tmp575;
 3297#line 68
 3298      __udelay(__cil_tmp576);
 3299      }
 3300    } else {
 3301
 3302    }
 3303    }
 3304    {
 3305#line 68
 3306    __cil_tmp577 = (unsigned char )r;
 3307#line 68
 3308    __cil_tmp578 = (unsigned long )pi;
 3309#line 68
 3310    __cil_tmp579 = __cil_tmp578 + 8;
 3311#line 68
 3312    __cil_tmp580 = *((int *)__cil_tmp579);
 3313#line 68
 3314    __cil_tmp581 = __cil_tmp580 + 4;
 3315#line 68
 3316    outb(__cil_tmp577, __cil_tmp581);
 3317    }
 3318    {
 3319#line 68
 3320    __cil_tmp582 = (unsigned long )pi;
 3321#line 68
 3322    __cil_tmp583 = __cil_tmp582 + 16;
 3323#line 68
 3324    if (*((int *)__cil_tmp583)) {
 3325      {
 3326#line 68
 3327      __cil_tmp584 = (unsigned long )pi;
 3328#line 68
 3329      __cil_tmp585 = __cil_tmp584 + 16;
 3330#line 68
 3331      __cil_tmp586 = *((int *)__cil_tmp585);
 3332#line 68
 3333      __cil_tmp587 = (unsigned long )__cil_tmp586;
 3334#line 68
 3335      __udelay(__cil_tmp587);
 3336      }
 3337    } else {
 3338
 3339    }
 3340    }
 3341    {
 3342#line 68
 3343    __cil_tmp588 = (unsigned long )pi;
 3344#line 68
 3345    __cil_tmp589 = __cil_tmp588 + 8;
 3346#line 68
 3347    __cil_tmp590 = *((int *)__cil_tmp589);
 3348#line 68
 3349    __cil_tmp591 = __cil_tmp590 + 2;
 3350#line 68
 3351    outb((unsigned char)4, __cil_tmp591);
 3352    }
 3353    {
 3354#line 68
 3355    __cil_tmp592 = (unsigned long )pi;
 3356#line 68
 3357    __cil_tmp593 = __cil_tmp592 + 16;
 3358#line 68
 3359    if (*((int *)__cil_tmp593)) {
 3360      {
 3361#line 68
 3362      __cil_tmp594 = (unsigned long )pi;
 3363#line 68
 3364      __cil_tmp595 = __cil_tmp594 + 16;
 3365#line 68
 3366      __cil_tmp596 = *((int *)__cil_tmp595);
 3367#line 68
 3368      __cil_tmp597 = (unsigned long )__cil_tmp596;
 3369#line 68
 3370      __udelay(__cil_tmp597);
 3371      }
 3372    } else {
 3373
 3374    }
 3375    }
 3376    {
 3377#line 69
 3378    __cil_tmp598 = (unsigned long )pi;
 3379#line 69
 3380    __cil_tmp599 = __cil_tmp598 + 8;
 3381#line 69
 3382    __cil_tmp600 = *((int *)__cil_tmp599);
 3383#line 69
 3384    __cil_tmp601 = __cil_tmp600 + 3;
 3385#line 69
 3386    outb((unsigned char)0, __cil_tmp601);
 3387    }
 3388    {
 3389#line 69
 3390    __cil_tmp602 = (unsigned long )pi;
 3391#line 69
 3392    __cil_tmp603 = __cil_tmp602 + 16;
 3393#line 69
 3394    if (*((int *)__cil_tmp603)) {
 3395      {
 3396#line 69
 3397      __cil_tmp604 = (unsigned long )pi;
 3398#line 69
 3399      __cil_tmp605 = __cil_tmp604 + 16;
 3400#line 69
 3401      __cil_tmp606 = *((int *)__cil_tmp605);
 3402#line 69
 3403      __cil_tmp607 = (unsigned long )__cil_tmp606;
 3404#line 69
 3405      __udelay(__cil_tmp607);
 3406      }
 3407    } else {
 3408
 3409    }
 3410    }
 3411    {
 3412#line 69
 3413    __cil_tmp608 = (unsigned long )pi;
 3414#line 69
 3415    __cil_tmp609 = __cil_tmp608 + 8;
 3416#line 69
 3417    __cil_tmp610 = *((int *)__cil_tmp609);
 3418#line 69
 3419    __cil_tmp611 = __cil_tmp610 + 3;
 3420#line 69
 3421    outb((unsigned char)0, __cil_tmp611);
 3422    }
 3423    {
 3424#line 69
 3425    __cil_tmp612 = (unsigned long )pi;
 3426#line 69
 3427    __cil_tmp613 = __cil_tmp612 + 16;
 3428#line 69
 3429    if (*((int *)__cil_tmp613)) {
 3430      {
 3431#line 69
 3432      __cil_tmp614 = (unsigned long )pi;
 3433#line 69
 3434      __cil_tmp615 = __cil_tmp614 + 16;
 3435#line 69
 3436      __cil_tmp616 = *((int *)__cil_tmp615);
 3437#line 69
 3438      __cil_tmp617 = (unsigned long )__cil_tmp616;
 3439#line 69
 3440      __udelay(__cil_tmp617);
 3441      }
 3442    } else {
 3443
 3444    }
 3445    }
 3446    {
 3447#line 69
 3448    __cil_tmp618 = (unsigned long )pi;
 3449#line 69
 3450    __cil_tmp619 = __cil_tmp618 + 8;
 3451#line 69
 3452    __cil_tmp620 = *((int *)__cil_tmp619);
 3453#line 69
 3454    __cil_tmp621 = __cil_tmp620 + 2;
 3455#line 69
 3456    outb((unsigned char)36, __cil_tmp621);
 3457    }
 3458    {
 3459#line 69
 3460    __cil_tmp622 = (unsigned long )pi;
 3461#line 69
 3462    __cil_tmp623 = __cil_tmp622 + 16;
 3463#line 69
 3464    if (*((int *)__cil_tmp623)) {
 3465      {
 3466#line 69
 3467      __cil_tmp624 = (unsigned long )pi;
 3468#line 69
 3469      __cil_tmp625 = __cil_tmp624 + 16;
 3470#line 69
 3471      __cil_tmp626 = *((int *)__cil_tmp625);
 3472#line 69
 3473      __cil_tmp627 = (unsigned long )__cil_tmp626;
 3474#line 69
 3475      __udelay(__cil_tmp627);
 3476      }
 3477    } else {
 3478
 3479    }
 3480    }
 3481    {
 3482#line 69
 3483    __cil_tmp628 = (unsigned long )pi;
 3484#line 69
 3485    __cil_tmp629 = __cil_tmp628 + 16;
 3486#line 69
 3487    if (*((int *)__cil_tmp629)) {
 3488      {
 3489#line 69
 3490      __cil_tmp630 = (unsigned long )pi;
 3491#line 69
 3492      __cil_tmp631 = __cil_tmp630 + 16;
 3493#line 69
 3494      __cil_tmp632 = *((int *)__cil_tmp631);
 3495#line 69
 3496      __cil_tmp633 = (unsigned long )__cil_tmp632;
 3497#line 69
 3498      __udelay(__cil_tmp633);
 3499      }
 3500    } else {
 3501
 3502    }
 3503    }
 3504    {
 3505#line 69
 3506    __cil_tmp634 = (unsigned long )pi;
 3507#line 69
 3508    __cil_tmp635 = __cil_tmp634 + 8;
 3509#line 69
 3510    __cil_tmp636 = *((int *)__cil_tmp635);
 3511#line 69
 3512    __cil_tmp637 = __cil_tmp636 + 4;
 3513#line 69
 3514    tmp___2 = inb(__cil_tmp637);
 3515#line 69
 3516    __cil_tmp638 = (int )tmp___2;
 3517#line 69
 3518    a = __cil_tmp638 & 255;
 3519#line 69
 3520    __cil_tmp639 = (unsigned long )pi;
 3521#line 69
 3522    __cil_tmp640 = __cil_tmp639 + 8;
 3523#line 69
 3524    __cil_tmp641 = *((int *)__cil_tmp640);
 3525#line 69
 3526    __cil_tmp642 = __cil_tmp641 + 2;
 3527#line 69
 3528    outb((unsigned char)4, __cil_tmp642);
 3529    }
 3530    {
 3531#line 69
 3532    __cil_tmp643 = (unsigned long )pi;
 3533#line 69
 3534    __cil_tmp644 = __cil_tmp643 + 16;
 3535#line 69
 3536    if (*((int *)__cil_tmp644)) {
 3537      {
 3538#line 69
 3539      __cil_tmp645 = (unsigned long )pi;
 3540#line 69
 3541      __cil_tmp646 = __cil_tmp645 + 16;
 3542#line 69
 3543      __cil_tmp647 = *((int *)__cil_tmp646);
 3544#line 69
 3545      __cil_tmp648 = (unsigned long )__cil_tmp647;
 3546#line 69
 3547      __udelay(__cil_tmp648);
 3548      }
 3549    } else {
 3550
 3551    }
 3552    }
 3553    {
 3554#line 70
 3555    __cil_tmp649 = (unsigned long )pi;
 3556#line 70
 3557    __cil_tmp650 = __cil_tmp649 + 8;
 3558#line 70
 3559    __cil_tmp651 = *((int *)__cil_tmp650);
 3560#line 70
 3561    __cil_tmp652 = __cil_tmp651 + 2;
 3562#line 70
 3563    outb((unsigned char)36, __cil_tmp652);
 3564    }
 3565    {
 3566#line 70
 3567    __cil_tmp653 = (unsigned long )pi;
 3568#line 70
 3569    __cil_tmp654 = __cil_tmp653 + 16;
 3570#line 70
 3571    if (*((int *)__cil_tmp654)) {
 3572      {
 3573#line 70
 3574      __cil_tmp655 = (unsigned long )pi;
 3575#line 70
 3576      __cil_tmp656 = __cil_tmp655 + 16;
 3577#line 70
 3578      __cil_tmp657 = *((int *)__cil_tmp656);
 3579#line 70
 3580      __cil_tmp658 = (unsigned long )__cil_tmp657;
 3581#line 70
 3582      __udelay(__cil_tmp658);
 3583      }
 3584    } else {
 3585
 3586    }
 3587    }
 3588    {
 3589#line 70
 3590    __cil_tmp659 = (unsigned long )pi;
 3591#line 70
 3592    __cil_tmp660 = __cil_tmp659 + 16;
 3593#line 70
 3594    if (*((int *)__cil_tmp660)) {
 3595      {
 3596#line 70
 3597      __cil_tmp661 = (unsigned long )pi;
 3598#line 70
 3599      __cil_tmp662 = __cil_tmp661 + 16;
 3600#line 70
 3601      __cil_tmp663 = *((int *)__cil_tmp662);
 3602#line 70
 3603      __cil_tmp664 = (unsigned long )__cil_tmp663;
 3604#line 70
 3605      __udelay(__cil_tmp664);
 3606      }
 3607    } else {
 3608
 3609    }
 3610    }
 3611    {
 3612#line 70
 3613    __cil_tmp665 = (unsigned long )pi;
 3614#line 70
 3615    __cil_tmp666 = __cil_tmp665 + 8;
 3616#line 70
 3617    __cil_tmp667 = *((int *)__cil_tmp666);
 3618#line 70
 3619    __cil_tmp668 = __cil_tmp667 + 4;
 3620#line 70
 3621    tmp___3 = inb(__cil_tmp668);
 3622#line 70
 3623    __cil_tmp669 = (unsigned long )pi;
 3624#line 70
 3625    __cil_tmp670 = __cil_tmp669 + 8;
 3626#line 70
 3627    __cil_tmp671 = *((int *)__cil_tmp670);
 3628#line 70
 3629    __cil_tmp672 = __cil_tmp671 + 2;
 3630#line 70
 3631    outb((unsigned char)4, __cil_tmp672);
 3632    }
 3633    {
 3634#line 70
 3635    __cil_tmp673 = (unsigned long )pi;
 3636#line 70
 3637    __cil_tmp674 = __cil_tmp673 + 16;
 3638#line 70
 3639    if (*((int *)__cil_tmp674)) {
 3640      {
 3641#line 70
 3642      __cil_tmp675 = (unsigned long )pi;
 3643#line 70
 3644      __cil_tmp676 = __cil_tmp675 + 16;
 3645#line 70
 3646      __cil_tmp677 = *((int *)__cil_tmp676);
 3647#line 70
 3648      __cil_tmp678 = (unsigned long )__cil_tmp677;
 3649#line 70
 3650      __udelay(__cil_tmp678);
 3651      }
 3652    } else {
 3653
 3654    }
 3655    }
 3656#line 71
 3657    return (a);
 3658  } else {
 3659    switch_break: /* CIL Label */ ;
 3660  }
 3661  }
 3662#line 74
 3663  return (-1);
 3664}
 3665}
 3666#line 77 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16809/dscv_tempdir/dscv/ri/32_1/drivers/block/paride/on26.c.common.c"
 3667static void on26_write_regr(PIA *pi , int cont , int regr , int val ) 
 3668{ int r ;
 3669  int __cil_tmp6 ;
 3670  int __cil_tmp7 ;
 3671  unsigned long __cil_tmp8 ;
 3672  unsigned long __cil_tmp9 ;
 3673  unsigned long __cil_tmp10 ;
 3674  unsigned long __cil_tmp11 ;
 3675  int __cil_tmp12 ;
 3676  unsigned long __cil_tmp13 ;
 3677  unsigned long __cil_tmp14 ;
 3678  unsigned long __cil_tmp15 ;
 3679  unsigned long __cil_tmp16 ;
 3680  int __cil_tmp17 ;
 3681  unsigned long __cil_tmp18 ;
 3682  unsigned long __cil_tmp19 ;
 3683  unsigned long __cil_tmp20 ;
 3684  int __cil_tmp21 ;
 3685  int __cil_tmp22 ;
 3686  unsigned long __cil_tmp23 ;
 3687  unsigned long __cil_tmp24 ;
 3688  unsigned long __cil_tmp25 ;
 3689  unsigned long __cil_tmp26 ;
 3690  int __cil_tmp27 ;
 3691  unsigned long __cil_tmp28 ;
 3692  unsigned long __cil_tmp29 ;
 3693  unsigned long __cil_tmp30 ;
 3694  int __cil_tmp31 ;
 3695  int __cil_tmp32 ;
 3696  unsigned long __cil_tmp33 ;
 3697  unsigned long __cil_tmp34 ;
 3698  unsigned long __cil_tmp35 ;
 3699  unsigned long __cil_tmp36 ;
 3700  int __cil_tmp37 ;
 3701  unsigned long __cil_tmp38 ;
 3702  unsigned long __cil_tmp39 ;
 3703  unsigned long __cil_tmp40 ;
 3704  int __cil_tmp41 ;
 3705  int __cil_tmp42 ;
 3706  unsigned long __cil_tmp43 ;
 3707  unsigned long __cil_tmp44 ;
 3708  unsigned long __cil_tmp45 ;
 3709  unsigned long __cil_tmp46 ;
 3710  int __cil_tmp47 ;
 3711  unsigned long __cil_tmp48 ;
 3712  unsigned long __cil_tmp49 ;
 3713  unsigned long __cil_tmp50 ;
 3714  int __cil_tmp51 ;
 3715  int __cil_tmp52 ;
 3716  unsigned long __cil_tmp53 ;
 3717  unsigned long __cil_tmp54 ;
 3718  unsigned long __cil_tmp55 ;
 3719  unsigned long __cil_tmp56 ;
 3720  int __cil_tmp57 ;
 3721  unsigned long __cil_tmp58 ;
 3722  unsigned long __cil_tmp59 ;
 3723  unsigned long __cil_tmp60 ;
 3724  int __cil_tmp61 ;
 3725  int __cil_tmp62 ;
 3726  unsigned long __cil_tmp63 ;
 3727  unsigned long __cil_tmp64 ;
 3728  unsigned long __cil_tmp65 ;
 3729  unsigned long __cil_tmp66 ;
 3730  int __cil_tmp67 ;
 3731  unsigned long __cil_tmp68 ;
 3732  unsigned long __cil_tmp69 ;
 3733  unsigned long __cil_tmp70 ;
 3734  int __cil_tmp71 ;
 3735  int __cil_tmp72 ;
 3736  unsigned long __cil_tmp73 ;
 3737  unsigned long __cil_tmp74 ;
 3738  unsigned long __cil_tmp75 ;
 3739  unsigned long __cil_tmp76 ;
 3740  int __cil_tmp77 ;
 3741  unsigned long __cil_tmp78 ;
 3742  unsigned char __cil_tmp79 ;
 3743  unsigned long __cil_tmp80 ;
 3744  unsigned long __cil_tmp81 ;
 3745  int __cil_tmp82 ;
 3746  unsigned long __cil_tmp83 ;
 3747  unsigned long __cil_tmp84 ;
 3748  unsigned long __cil_tmp85 ;
 3749  unsigned long __cil_tmp86 ;
 3750  int __cil_tmp87 ;
 3751  unsigned long __cil_tmp88 ;
 3752  unsigned long __cil_tmp89 ;
 3753  unsigned long __cil_tmp90 ;
 3754  int __cil_tmp91 ;
 3755  int __cil_tmp92 ;
 3756  unsigned long __cil_tmp93 ;
 3757  unsigned long __cil_tmp94 ;
 3758  unsigned long __cil_tmp95 ;
 3759  unsigned long __cil_tmp96 ;
 3760  int __cil_tmp97 ;
 3761  unsigned long __cil_tmp98 ;
 3762  unsigned long __cil_tmp99 ;
 3763  unsigned long __cil_tmp100 ;
 3764  int __cil_tmp101 ;
 3765  int __cil_tmp102 ;
 3766  unsigned long __cil_tmp103 ;
 3767  unsigned long __cil_tmp104 ;
 3768  unsigned long __cil_tmp105 ;
 3769  unsigned long __cil_tmp106 ;
 3770  int __cil_tmp107 ;
 3771  unsigned long __cil_tmp108 ;
 3772  unsigned long __cil_tmp109 ;
 3773  unsigned long __cil_tmp110 ;
 3774  int __cil_tmp111 ;
 3775  int __cil_tmp112 ;
 3776  unsigned long __cil_tmp113 ;
 3777  unsigned long __cil_tmp114 ;
 3778  unsigned long __cil_tmp115 ;
 3779  unsigned long __cil_tmp116 ;
 3780  int __cil_tmp117 ;
 3781  unsigned long __cil_tmp118 ;
 3782  unsigned long __cil_tmp119 ;
 3783  unsigned long __cil_tmp120 ;
 3784  int __cil_tmp121 ;
 3785  int __cil_tmp122 ;
 3786  unsigned long __cil_tmp123 ;
 3787  unsigned long __cil_tmp124 ;
 3788  unsigned long __cil_tmp125 ;
 3789  unsigned long __cil_tmp126 ;
 3790  int __cil_tmp127 ;
 3791  unsigned long __cil_tmp128 ;
 3792  unsigned long __cil_tmp129 ;
 3793  unsigned long __cil_tmp130 ;
 3794  int __cil_tmp131 ;
 3795  unsigned long __cil_tmp132 ;
 3796  unsigned long __cil_tmp133 ;
 3797  unsigned long __cil_tmp134 ;
 3798  unsigned long __cil_tmp135 ;
 3799  int __cil_tmp136 ;
 3800  unsigned long __cil_tmp137 ;
 3801  unsigned long __cil_tmp138 ;
 3802  unsigned long __cil_tmp139 ;
 3803  int __cil_tmp140 ;
 3804  int __cil_tmp141 ;
 3805  unsigned long __cil_tmp142 ;
 3806  unsigned long __cil_tmp143 ;
 3807  unsigned long __cil_tmp144 ;
 3808  unsigned long __cil_tmp145 ;
 3809  int __cil_tmp146 ;
 3810  unsigned long __cil_tmp147 ;
 3811  unsigned long __cil_tmp148 ;
 3812  unsigned long __cil_tmp149 ;
 3813  int __cil_tmp150 ;
 3814  int __cil_tmp151 ;
 3815  unsigned long __cil_tmp152 ;
 3816  unsigned long __cil_tmp153 ;
 3817  unsigned long __cil_tmp154 ;
 3818  unsigned long __cil_tmp155 ;
 3819  int __cil_tmp156 ;
 3820  unsigned long __cil_tmp157 ;
 3821  unsigned long __cil_tmp158 ;
 3822  unsigned long __cil_tmp159 ;
 3823  int __cil_tmp160 ;
 3824  int __cil_tmp161 ;
 3825  unsigned long __cil_tmp162 ;
 3826  unsigned long __cil_tmp163 ;
 3827  unsigned long __cil_tmp164 ;
 3828  unsigned long __cil_tmp165 ;
 3829  int __cil_tmp166 ;
 3830  unsigned long __cil_tmp167 ;
 3831  unsigned long __cil_tmp168 ;
 3832  unsigned long __cil_tmp169 ;
 3833  int __cil_tmp170 ;
 3834  int __cil_tmp171 ;
 3835  unsigned long __cil_tmp172 ;
 3836  unsigned long __cil_tmp173 ;
 3837  unsigned long __cil_tmp174 ;
 3838  unsigned long __cil_tmp175 ;
 3839  int __cil_tmp176 ;
 3840  unsigned long __cil_tmp177 ;
 3841  unsigned long __cil_tmp178 ;
 3842  unsigned long __cil_tmp179 ;
 3843  int __cil_tmp180 ;
 3844  int __cil_tmp181 ;
 3845  unsigned long __cil_tmp182 ;
 3846  unsigned long __cil_tmp183 ;
 3847  unsigned long __cil_tmp184 ;
 3848  unsigned long __cil_tmp185 ;
 3849  int __cil_tmp186 ;
 3850  unsigned long __cil_tmp187 ;
 3851  unsigned long __cil_tmp188 ;
 3852  unsigned long __cil_tmp189 ;
 3853  int __cil_tmp190 ;
 3854  int __cil_tmp191 ;
 3855  unsigned long __cil_tmp192 ;
 3856  unsigned long __cil_tmp193 ;
 3857  unsigned long __cil_tmp194 ;
 3858  unsigned long __cil_tmp195 ;
 3859  int __cil_tmp196 ;
 3860  unsigned long __cil_tmp197 ;
 3861  unsigned char __cil_tmp198 ;
 3862  unsigned long __cil_tmp199 ;
 3863  unsigned long __cil_tmp200 ;
 3864  int __cil_tmp201 ;
 3865  unsigned long __cil_tmp202 ;
 3866  unsigned long __cil_tmp203 ;
 3867  unsigned long __cil_tmp204 ;
 3868  unsigned long __cil_tmp205 ;
 3869  int __cil_tmp206 ;
 3870  unsigned long __cil_tmp207 ;
 3871  unsigned long __cil_tmp208 ;
 3872  unsigned long __cil_tmp209 ;
 3873  int __cil_tmp210 ;
 3874  int __cil_tmp211 ;
 3875  unsigned long __cil_tmp212 ;
 3876  unsigned long __cil_tmp213 ;
 3877  unsigned long __cil_tmp214 ;
 3878  unsigned long __cil_tmp215 ;
 3879  int __cil_tmp216 ;
 3880  unsigned long __cil_tmp217 ;
 3881  unsigned long __cil_tmp218 ;
 3882  unsigned long __cil_tmp219 ;
 3883  int __cil_tmp220 ;
 3884  int __cil_tmp221 ;
 3885  unsigned long __cil_tmp222 ;
 3886  unsigned long __cil_tmp223 ;
 3887  unsigned long __cil_tmp224 ;
 3888  unsigned long __cil_tmp225 ;
 3889  int __cil_tmp226 ;
 3890  unsigned long __cil_tmp227 ;
 3891  unsigned long __cil_tmp228 ;
 3892  unsigned long __cil_tmp229 ;
 3893  int __cil_tmp230 ;
 3894  int __cil_tmp231 ;
 3895  unsigned long __cil_tmp232 ;
 3896  unsigned long __cil_tmp233 ;
 3897  unsigned long __cil_tmp234 ;
 3898  unsigned long __cil_tmp235 ;
 3899  int __cil_tmp236 ;
 3900  unsigned long __cil_tmp237 ;
 3901  unsigned long __cil_tmp238 ;
 3902  unsigned long __cil_tmp239 ;
 3903  int __cil_tmp240 ;
 3904  int __cil_tmp241 ;
 3905  unsigned long __cil_tmp242 ;
 3906  unsigned long __cil_tmp243 ;
 3907  unsigned long __cil_tmp244 ;
 3908  unsigned long __cil_tmp245 ;
 3909  int __cil_tmp246 ;
 3910  unsigned long __cil_tmp247 ;
 3911  unsigned char __cil_tmp248 ;
 3912  unsigned long __cil_tmp249 ;
 3913  unsigned long __cil_tmp250 ;
 3914  int __cil_tmp251 ;
 3915  unsigned long __cil_tmp252 ;
 3916  unsigned long __cil_tmp253 ;
 3917  unsigned long __cil_tmp254 ;
 3918  unsigned long __cil_tmp255 ;
 3919  int __cil_tmp256 ;
 3920  unsigned long __cil_tmp257 ;
 3921  unsigned long __cil_tmp258 ;
 3922  unsigned long __cil_tmp259 ;
 3923  int __cil_tmp260 ;
 3924  int __cil_tmp261 ;
 3925  unsigned long __cil_tmp262 ;
 3926  unsigned long __cil_tmp263 ;
 3927  unsigned long __cil_tmp264 ;
 3928  unsigned long __cil_tmp265 ;
 3929  int __cil_tmp266 ;
 3930  unsigned long __cil_tmp267 ;
 3931  unsigned long __cil_tmp268 ;
 3932  unsigned long __cil_tmp269 ;
 3933  int __cil_tmp270 ;
 3934  int __cil_tmp271 ;
 3935  unsigned long __cil_tmp272 ;
 3936  unsigned long __cil_tmp273 ;
 3937  unsigned long __cil_tmp274 ;
 3938  unsigned long __cil_tmp275 ;
 3939  int __cil_tmp276 ;
 3940  unsigned long __cil_tmp277 ;
 3941  unsigned long __cil_tmp278 ;
 3942  unsigned long __cil_tmp279 ;
 3943  int __cil_tmp280 ;
 3944  int __cil_tmp281 ;
 3945  unsigned long __cil_tmp282 ;
 3946  unsigned long __cil_tmp283 ;
 3947  unsigned long __cil_tmp284 ;
 3948  unsigned long __cil_tmp285 ;
 3949  int __cil_tmp286 ;
 3950  unsigned long __cil_tmp287 ;
 3951  unsigned long __cil_tmp288 ;
 3952  unsigned long __cil_tmp289 ;
 3953  int __cil_tmp290 ;
 3954  int __cil_tmp291 ;
 3955  unsigned long __cil_tmp292 ;
 3956  unsigned long __cil_tmp293 ;
 3957  unsigned long __cil_tmp294 ;
 3958  unsigned long __cil_tmp295 ;
 3959  int __cil_tmp296 ;
 3960  unsigned long __cil_tmp297 ;
 3961  unsigned long __cil_tmp298 ;
 3962  unsigned long __cil_tmp299 ;
 3963  int __cil_tmp300 ;
 3964  int __cil_tmp301 ;
 3965  unsigned long __cil_tmp302 ;
 3966  unsigned long __cil_tmp303 ;
 3967  unsigned long __cil_tmp304 ;
 3968  unsigned long __cil_tmp305 ;
 3969  int __cil_tmp306 ;
 3970  unsigned long __cil_tmp307 ;
 3971  unsigned long __cil_tmp308 ;
 3972  unsigned long __cil_tmp309 ;
 3973  int __cil_tmp310 ;
 3974  int __cil_tmp311 ;
 3975  unsigned long __cil_tmp312 ;
 3976  unsigned long __cil_tmp313 ;
 3977  unsigned long __cil_tmp314 ;
 3978  unsigned long __cil_tmp315 ;
 3979  int __cil_tmp316 ;
 3980  unsigned long __cil_tmp317 ;
 3981  unsigned long __cil_tmp318 ;
 3982  unsigned long __cil_tmp319 ;
 3983  int __cil_tmp320 ;
 3984  int __cil_tmp321 ;
 3985  unsigned long __cil_tmp322 ;
 3986  unsigned long __cil_tmp323 ;
 3987  unsigned long __cil_tmp324 ;
 3988  unsigned long __cil_tmp325 ;
 3989  int __cil_tmp326 ;
 3990  unsigned long __cil_tmp327 ;
 3991  unsigned char __cil_tmp328 ;
 3992  unsigned long __cil_tmp329 ;
 3993  unsigned long __cil_tmp330 ;
 3994  int __cil_tmp331 ;
 3995  int __cil_tmp332 ;
 3996  unsigned long __cil_tmp333 ;
 3997  unsigned long __cil_tmp334 ;
 3998  unsigned long __cil_tmp335 ;
 3999  unsigned long __cil_tmp336 ;
 4000  int __cil_tmp337 ;
 4001  unsigned long __cil_tmp338 ;
 4002  unsigned long __cil_tmp339 ;
 4003  unsigned long __cil_tmp340 ;
 4004  int __cil_tmp341 ;
 4005  int __cil_tmp342 ;
 4006  unsigned long __cil_tmp343 ;
 4007  unsigned long __cil_tmp344 ;
 4008  unsigned long __cil_tmp345 ;
 4009  unsigned long __cil_tmp346 ;
 4010  int __cil_tmp347 ;
 4011  unsigned long __cil_tmp348 ;
 4012  unsigned long __cil_tmp349 ;
 4013  unsigned long __cil_tmp350 ;
 4014  int __cil_tmp351 ;
 4015  int __cil_tmp352 ;
 4016  unsigned long __cil_tmp353 ;
 4017  unsigned long __cil_tmp354 ;
 4018  unsigned long __cil_tmp355 ;
 4019  unsigned long __cil_tmp356 ;
 4020  int __cil_tmp357 ;
 4021  unsigned long __cil_tmp358 ;
 4022  unsigned long __cil_tmp359 ;
 4023  unsigned long __cil_tmp360 ;
 4024  int __cil_tmp361 ;
 4025  int __cil_tmp362 ;
 4026  unsigned long __cil_tmp363 ;
 4027  unsigned long __cil_tmp364 ;
 4028  unsigned long __cil_tmp365 ;
 4029  unsigned long __cil_tmp366 ;
 4030  int __cil_tmp367 ;
 4031  unsigned long __cil_tmp368 ;
 4032  unsigned long __cil_tmp369 ;
 4033  unsigned long __cil_tmp370 ;
 4034  int __cil_tmp371 ;
 4035  int __cil_tmp372 ;
 4036  unsigned long __cil_tmp373 ;
 4037  unsigned long __cil_tmp374 ;
 4038  unsigned long __cil_tmp375 ;
 4039  unsigned long __cil_tmp376 ;
 4040  int __cil_tmp377 ;
 4041  unsigned long __cil_tmp378 ;
 4042  unsigned char __cil_tmp379 ;
 4043  unsigned long __cil_tmp380 ;
 4044  unsigned long __cil_tmp381 ;
 4045  int __cil_tmp382 ;
 4046  int __cil_tmp383 ;
 4047  unsigned long __cil_tmp384 ;
 4048  unsigned long __cil_tmp385 ;
 4049  unsigned long __cil_tmp386 ;
 4050  unsigned long __cil_tmp387 ;
 4051  int __cil_tmp388 ;
 4052  unsigned long __cil_tmp389 ;
 4053  unsigned long __cil_tmp390 ;
 4054  unsigned long __cil_tmp391 ;
 4055  int __cil_tmp392 ;
 4056  int __cil_tmp393 ;
 4057  unsigned long __cil_tmp394 ;
 4058  unsigned long __cil_tmp395 ;
 4059  unsigned long __cil_tmp396 ;
 4060  unsigned long __cil_tmp397 ;
 4061  int __cil_tmp398 ;
 4062  unsigned long __cil_tmp399 ;
 4063  unsigned long __cil_tmp400 ;
 4064  unsigned long __cil_tmp401 ;
 4065  int __cil_tmp402 ;
 4066  int __cil_tmp403 ;
 4067  unsigned long __cil_tmp404 ;
 4068  unsigned long __cil_tmp405 ;
 4069  unsigned long __cil_tmp406 ;
 4070  unsigned long __cil_tmp407 ;
 4071  int __cil_tmp408 ;
 4072  unsigned long __cil_tmp409 ;
 4073  unsigned char __cil_tmp410 ;
 4074  unsigned long __cil_tmp411 ;
 4075  unsigned long __cil_tmp412 ;
 4076  int __cil_tmp413 ;
 4077  int __cil_tmp414 ;
 4078  unsigned long __cil_tmp415 ;
 4079  unsigned long __cil_tmp416 ;
 4080  unsigned long __cil_tmp417 ;
 4081  unsigned long __cil_tmp418 ;
 4082  int __cil_tmp419 ;
 4083  unsigned long __cil_tmp420 ;
 4084  unsigned long __cil_tmp421 ;
 4085  unsigned long __cil_tmp422 ;
 4086  int __cil_tmp423 ;
 4087  int __cil_tmp424 ;
 4088  unsigned long __cil_tmp425 ;
 4089  unsigned long __cil_tmp426 ;
 4090  unsigned long __cil_tmp427 ;
 4091  unsigned long __cil_tmp428 ;
 4092  int __cil_tmp429 ;
 4093  unsigned long __cil_tmp430 ;
 4094
 4095  {
 4096#line 81
 4097  __cil_tmp6 = regr << 2;
 4098#line 81
 4099  __cil_tmp7 = __cil_tmp6 + 1;
 4100#line 81
 4101  r = __cil_tmp7 + cont;
 4102  {
 4103#line 83
 4104  __cil_tmp8 = (unsigned long )pi;
 4105#line 83
 4106  __cil_tmp9 = __cil_tmp8 + 12;
 4107#line 85
 4108  if (*((int *)__cil_tmp9) == 0) {
 4109#line 85
 4110    goto case_0;
 4111  } else
 4112#line 86
 4113  if (*((int *)__cil_tmp9) == 1) {
 4114#line 86
 4115    goto case_0;
 4116  } else
 4117#line 90
 4118  if (*((int *)__cil_tmp9) == 2) {
 4119#line 90
 4120    goto case_2;
 4121  } else
 4122#line 91
 4123  if (*((int *)__cil_tmp9) == 3) {
 4124#line 91
 4125    goto case_2;
 4126  } else
 4127#line 92
 4128  if (*((int *)__cil_tmp9) == 4) {
 4129#line 92
 4130    goto case_2;
 4131  } else
 4132#line 83
 4133  if (0) {
 4134    case_0: /* CIL Label */ 
 4135    case_1: /* CIL Label */ 
 4136    {
 4137#line 86
 4138    __cil_tmp10 = (unsigned long )pi;
 4139#line 86
 4140    __cil_tmp11 = __cil_tmp10 + 8;
 4141#line 86
 4142    __cil_tmp12 = *((int *)__cil_tmp11);
 4143#line 86
 4144    outb((unsigned char)1, __cil_tmp12);
 4145    }
 4146    {
 4147#line 86
 4148    __cil_tmp13 = (unsigned long )pi;
 4149#line 86
 4150    __cil_tmp14 = __cil_tmp13 + 16;
 4151#line 86
 4152    if (*((int *)__cil_tmp14)) {
 4153      {
 4154#line 86
 4155      __cil_tmp15 = (unsigned long )pi;
 4156#line 86
 4157      __cil_tmp16 = __cil_tmp15 + 16;
 4158#line 86
 4159      __cil_tmp17 = *((int *)__cil_tmp16);
 4160#line 86
 4161      __cil_tmp18 = (unsigned long )__cil_tmp17;
 4162#line 86
 4163      __udelay(__cil_tmp18);
 4164      }
 4165    } else {
 4166
 4167    }
 4168    }
 4169    {
 4170#line 86
 4171    __cil_tmp19 = (unsigned long )pi;
 4172#line 86
 4173    __cil_tmp20 = __cil_tmp19 + 8;
 4174#line 86
 4175    __cil_tmp21 = *((int *)__cil_tmp20);
 4176#line 86
 4177    __cil_tmp22 = __cil_tmp21 + 2;
 4178#line 86
 4179    outb((unsigned char)5, __cil_tmp22);
 4180    }
 4181    {
 4182#line 86
 4183    __cil_tmp23 = (unsigned long )pi;
 4184#line 86
 4185    __cil_tmp24 = __cil_tmp23 + 16;
 4186#line 86
 4187    if (*((int *)__cil_tmp24)) {
 4188      {
 4189#line 86
 4190      __cil_tmp25 = (unsigned long )pi;
 4191#line 86
 4192      __cil_tmp26 = __cil_tmp25 + 16;
 4193#line 86
 4194      __cil_tmp27 = *((int *)__cil_tmp26);
 4195#line 86
 4196      __cil_tmp28 = (unsigned long )__cil_tmp27;
 4197#line 86
 4198      __udelay(__cil_tmp28);
 4199      }
 4200    } else {
 4201
 4202    }
 4203    }
 4204    {
 4205#line 86
 4206    __cil_tmp29 = (unsigned long )pi;
 4207#line 86
 4208    __cil_tmp30 = __cil_tmp29 + 8;
 4209#line 86
 4210    __cil_tmp31 = *((int *)__cil_tmp30);
 4211#line 86
 4212    __cil_tmp32 = __cil_tmp31 + 2;
 4213#line 86
 4214    outb((unsigned char)13, __cil_tmp32);
 4215    }
 4216    {
 4217#line 86
 4218    __cil_tmp33 = (unsigned long )pi;
 4219#line 86
 4220    __cil_tmp34 = __cil_tmp33 + 16;
 4221#line 86
 4222    if (*((int *)__cil_tmp34)) {
 4223      {
 4224#line 86
 4225      __cil_tmp35 = (unsigned long )pi;
 4226#line 86
 4227      __cil_tmp36 = __cil_tmp35 + 16;
 4228#line 86
 4229      __cil_tmp37 = *((int *)__cil_tmp36);
 4230#line 86
 4231      __cil_tmp38 = (unsigned long )__cil_tmp37;
 4232#line 86
 4233      __udelay(__cil_tmp38);
 4234      }
 4235    } else {
 4236
 4237    }
 4238    }
 4239    {
 4240#line 86
 4241    __cil_tmp39 = (unsigned long )pi;
 4242#line 86
 4243    __cil_tmp40 = __cil_tmp39 + 8;
 4244#line 86
 4245    __cil_tmp41 = *((int *)__cil_tmp40);
 4246#line 86
 4247    __cil_tmp42 = __cil_tmp41 + 2;
 4248#line 86
 4249    outb((unsigned char)5, __cil_tmp42);
 4250    }
 4251    {
 4252#line 86
 4253    __cil_tmp43 = (unsigned long )pi;
 4254#line 86
 4255    __cil_tmp44 = __cil_tmp43 + 16;
 4256#line 86
 4257    if (*((int *)__cil_tmp44)) {
 4258      {
 4259#line 86
 4260      __cil_tmp45 = (unsigned long )pi;
 4261#line 86
 4262      __cil_tmp46 = __cil_tmp45 + 16;
 4263#line 86
 4264      __cil_tmp47 = *((int *)__cil_tmp46);
 4265#line 86
 4266      __cil_tmp48 = (unsigned long )__cil_tmp47;
 4267#line 86
 4268      __udelay(__cil_tmp48);
 4269      }
 4270    } else {
 4271
 4272    }
 4273    }
 4274    {
 4275#line 86
 4276    __cil_tmp49 = (unsigned long )pi;
 4277#line 86
 4278    __cil_tmp50 = __cil_tmp49 + 8;
 4279#line 86
 4280    __cil_tmp51 = *((int *)__cil_tmp50);
 4281#line 86
 4282    __cil_tmp52 = __cil_tmp51 + 2;
 4283#line 86
 4284    outb((unsigned char)13, __cil_tmp52);
 4285    }
 4286    {
 4287#line 86
 4288    __cil_tmp53 = (unsigned long )pi;
 4289#line 86
 4290    __cil_tmp54 = __cil_tmp53 + 16;
 4291#line 86
 4292    if (*((int *)__cil_tmp54)) {
 4293      {
 4294#line 86
 4295      __cil_tmp55 = (unsigned long )pi;
 4296#line 86
 4297      __cil_tmp56 = __cil_tmp55 + 16;
 4298#line 86
 4299      __cil_tmp57 = *((int *)__cil_tmp56);
 4300#line 86
 4301      __cil_tmp58 = (unsigned long )__cil_tmp57;
 4302#line 86
 4303      __udelay(__cil_tmp58);
 4304      }
 4305    } else {
 4306
 4307    }
 4308    }
 4309    {
 4310#line 86
 4311    __cil_tmp59 = (unsigned long )pi;
 4312#line 86
 4313    __cil_tmp60 = __cil_tmp59 + 8;
 4314#line 86
 4315    __cil_tmp61 = *((int *)__cil_tmp60);
 4316#line 86
 4317    __cil_tmp62 = __cil_tmp61 + 2;
 4318#line 86
 4319    outb((unsigned char)5, __cil_tmp62);
 4320    }
 4321    {
 4322#line 86
 4323    __cil_tmp63 = (unsigned long )pi;
 4324#line 86
 4325    __cil_tmp64 = __cil_tmp63 + 16;
 4326#line 86
 4327    if (*((int *)__cil_tmp64)) {
 4328      {
 4329#line 86
 4330      __cil_tmp65 = (unsigned long )pi;
 4331#line 86
 4332      __cil_tmp66 = __cil_tmp65 + 16;
 4333#line 86
 4334      __cil_tmp67 = *((int *)__cil_tmp66);
 4335#line 86
 4336      __cil_tmp68 = (unsigned long )__cil_tmp67;
 4337#line 86
 4338      __udelay(__cil_tmp68);
 4339      }
 4340    } else {
 4341
 4342    }
 4343    }
 4344    {
 4345#line 86
 4346    __cil_tmp69 = (unsigned long )pi;
 4347#line 86
 4348    __cil_tmp70 = __cil_tmp69 + 8;
 4349#line 86
 4350    __cil_tmp71 = *((int *)__cil_tmp70);
 4351#line 86
 4352    __cil_tmp72 = __cil_tmp71 + 2;
 4353#line 86
 4354    outb((unsigned char)4, __cil_tmp72);
 4355    }
 4356    {
 4357#line 86
 4358    __cil_tmp73 = (unsigned long )pi;
 4359#line 86
 4360    __cil_tmp74 = __cil_tmp73 + 16;
 4361#line 86
 4362    if (*((int *)__cil_tmp74)) {
 4363      {
 4364#line 86
 4365      __cil_tmp75 = (unsigned long )pi;
 4366#line 86
 4367      __cil_tmp76 = __cil_tmp75 + 16;
 4368#line 86
 4369      __cil_tmp77 = *((int *)__cil_tmp76);
 4370#line 86
 4371      __cil_tmp78 = (unsigned long )__cil_tmp77;
 4372#line 86
 4373      __udelay(__cil_tmp78);
 4374      }
 4375    } else {
 4376
 4377    }
 4378    }
 4379    {
 4380#line 86
 4381    __cil_tmp79 = (unsigned char )r;
 4382#line 86
 4383    __cil_tmp80 = (unsigned long )pi;
 4384#line 86
 4385    __cil_tmp81 = __cil_tmp80 + 8;
 4386#line 86
 4387    __cil_tmp82 = *((int *)__cil_tmp81);
 4388#line 86
 4389    outb(__cil_tmp79, __cil_tmp82);
 4390    }
 4391    {
 4392#line 86
 4393    __cil_tmp83 = (unsigned long )pi;
 4394#line 86
 4395    __cil_tmp84 = __cil_tmp83 + 16;
 4396#line 86
 4397    if (*((int *)__cil_tmp84)) {
 4398      {
 4399#line 86
 4400      __cil_tmp85 = (unsigned long )pi;
 4401#line 86
 4402      __cil_tmp86 = __cil_tmp85 + 16;
 4403#line 86
 4404      __cil_tmp87 = *((int *)__cil_tmp86);
 4405#line 86
 4406      __cil_tmp88 = (unsigned long )__cil_tmp87;
 4407#line 86
 4408      __udelay(__cil_tmp88);
 4409      }
 4410    } else {
 4411
 4412    }
 4413    }
 4414    {
 4415#line 86
 4416    __cil_tmp89 = (unsigned long )pi;
 4417#line 86
 4418    __cil_tmp90 = __cil_tmp89 + 8;
 4419#line 86
 4420    __cil_tmp91 = *((int *)__cil_tmp90);
 4421#line 86
 4422    __cil_tmp92 = __cil_tmp91 + 2;
 4423#line 86
 4424    outb((unsigned char)5, __cil_tmp92);
 4425    }
 4426    {
 4427#line 86
 4428    __cil_tmp93 = (unsigned long )pi;
 4429#line 86
 4430    __cil_tmp94 = __cil_tmp93 + 16;
 4431#line 86
 4432    if (*((int *)__cil_tmp94)) {
 4433      {
 4434#line 86
 4435      __cil_tmp95 = (unsigned long )pi;
 4436#line 86
 4437      __cil_tmp96 = __cil_tmp95 + 16;
 4438#line 86
 4439      __cil_tmp97 = *((int *)__cil_tmp96);
 4440#line 86
 4441      __cil_tmp98 = (unsigned long )__cil_tmp97;
 4442#line 86
 4443      __udelay(__cil_tmp98);
 4444      }
 4445    } else {
 4446
 4447    }
 4448    }
 4449    {
 4450#line 86
 4451    __cil_tmp99 = (unsigned long )pi;
 4452#line 86
 4453    __cil_tmp100 = __cil_tmp99 + 8;
 4454#line 86
 4455    __cil_tmp101 = *((int *)__cil_tmp100);
 4456#line 86
 4457    __cil_tmp102 = __cil_tmp101 + 2;
 4458#line 86
 4459    outb((unsigned char)7, __cil_tmp102);
 4460    }
 4461    {
 4462#line 86
 4463    __cil_tmp103 = (unsigned long )pi;
 4464#line 86
 4465    __cil_tmp104 = __cil_tmp103 + 16;
 4466#line 86
 4467    if (*((int *)__cil_tmp104)) {
 4468      {
 4469#line 86
 4470      __cil_tmp105 = (unsigned long )pi;
 4471#line 86
 4472      __cil_tmp106 = __cil_tmp105 + 16;
 4473#line 86
 4474      __cil_tmp107 = *((int *)__cil_tmp106);
 4475#line 86
 4476      __cil_tmp108 = (unsigned long )__cil_tmp107;
 4477#line 86
 4478      __udelay(__cil_tmp108);
 4479      }
 4480    } else {
 4481
 4482    }
 4483    }
 4484    {
 4485#line 86
 4486    __cil_tmp109 = (unsigned long )pi;
 4487#line 86
 4488    __cil_tmp110 = __cil_tmp109 + 8;
 4489#line 86
 4490    __cil_tmp111 = *((int *)__cil_tmp110);
 4491#line 86
 4492    __cil_tmp112 = __cil_tmp111 + 2;
 4493#line 86
 4494    outb((unsigned char)5, __cil_tmp112);
 4495    }
 4496    {
 4497#line 86
 4498    __cil_tmp113 = (unsigned long )pi;
 4499#line 86
 4500    __cil_tmp114 = __cil_tmp113 + 16;
 4501#line 86
 4502    if (*((int *)__cil_tmp114)) {
 4503      {
 4504#line 86
 4505      __cil_tmp115 = (unsigned long )pi;
 4506#line 86
 4507      __cil_tmp116 = __cil_tmp115 + 16;
 4508#line 86
 4509      __cil_tmp117 = *((int *)__cil_tmp116);
 4510#line 86
 4511      __cil_tmp118 = (unsigned long )__cil_tmp117;
 4512#line 86
 4513      __udelay(__cil_tmp118);
 4514      }
 4515    } else {
 4516
 4517    }
 4518    }
 4519    {
 4520#line 86
 4521    __cil_tmp119 = (unsigned long )pi;
 4522#line 86
 4523    __cil_tmp120 = __cil_tmp119 + 8;
 4524#line 86
 4525    __cil_tmp121 = *((int *)__cil_tmp120);
 4526#line 86
 4527    __cil_tmp122 = __cil_tmp121 + 2;
 4528#line 86
 4529    outb((unsigned char)4, __cil_tmp122);
 4530    }
 4531    {
 4532#line 86
 4533    __cil_tmp123 = (unsigned long )pi;
 4534#line 86
 4535    __cil_tmp124 = __cil_tmp123 + 16;
 4536#line 86
 4537    if (*((int *)__cil_tmp124)) {
 4538      {
 4539#line 86
 4540      __cil_tmp125 = (unsigned long )pi;
 4541#line 86
 4542      __cil_tmp126 = __cil_tmp125 + 16;
 4543#line 86
 4544      __cil_tmp127 = *((int *)__cil_tmp126);
 4545#line 86
 4546      __cil_tmp128 = (unsigned long )__cil_tmp127;
 4547#line 86
 4548      __udelay(__cil_tmp128);
 4549      }
 4550    } else {
 4551
 4552    }
 4553    }
 4554    {
 4555#line 86
 4556    __cil_tmp129 = (unsigned long )pi;
 4557#line 86
 4558    __cil_tmp130 = __cil_tmp129 + 8;
 4559#line 86
 4560    __cil_tmp131 = *((int *)__cil_tmp130);
 4561#line 86
 4562    outb((unsigned char)0, __cil_tmp131);
 4563    }
 4564    {
 4565#line 86
 4566    __cil_tmp132 = (unsigned long )pi;
 4567#line 86
 4568    __cil_tmp133 = __cil_tmp132 + 16;
 4569#line 86
 4570    if (*((int *)__cil_tmp133)) {
 4571      {
 4572#line 86
 4573      __cil_tmp134 = (unsigned long )pi;
 4574#line 86
 4575      __cil_tmp135 = __cil_tmp134 + 16;
 4576#line 86
 4577      __cil_tmp136 = *((int *)__cil_tmp135);
 4578#line 86
 4579      __cil_tmp137 = (unsigned long )__cil_tmp136;
 4580#line 86
 4581      __udelay(__cil_tmp137);
 4582      }
 4583    } else {
 4584
 4585    }
 4586    }
 4587    {
 4588#line 86
 4589    __cil_tmp138 = (unsigned long )pi;
 4590#line 86
 4591    __cil_tmp139 = __cil_tmp138 + 8;
 4592#line 86
 4593    __cil_tmp140 = *((int *)__cil_tmp139);
 4594#line 86
 4595    __cil_tmp141 = __cil_tmp140 + 2;
 4596#line 86
 4597    outb((unsigned char)5, __cil_tmp141);
 4598    }
 4599    {
 4600#line 86
 4601    __cil_tmp142 = (unsigned long )pi;
 4602#line 86
 4603    __cil_tmp143 = __cil_tmp142 + 16;
 4604#line 86
 4605    if (*((int *)__cil_tmp143)) {
 4606      {
 4607#line 86
 4608      __cil_tmp144 = (unsigned long )pi;
 4609#line 86
 4610      __cil_tmp145 = __cil_tmp144 + 16;
 4611#line 86
 4612      __cil_tmp146 = *((int *)__cil_tmp145);
 4613#line 86
 4614      __cil_tmp147 = (unsigned long )__cil_tmp146;
 4615#line 86
 4616      __udelay(__cil_tmp147);
 4617      }
 4618    } else {
 4619
 4620    }
 4621    }
 4622    {
 4623#line 86
 4624    __cil_tmp148 = (unsigned long )pi;
 4625#line 86
 4626    __cil_tmp149 = __cil_tmp148 + 8;
 4627#line 86
 4628    __cil_tmp150 = *((int *)__cil_tmp149);
 4629#line 86
 4630    __cil_tmp151 = __cil_tmp150 + 2;
 4631#line 86
 4632    outb((unsigned char)13, __cil_tmp151);
 4633    }
 4634    {
 4635#line 86
 4636    __cil_tmp152 = (unsigned long )pi;
 4637#line 86
 4638    __cil_tmp153 = __cil_tmp152 + 16;
 4639#line 86
 4640    if (*((int *)__cil_tmp153)) {
 4641      {
 4642#line 86
 4643      __cil_tmp154 = (unsigned long )pi;
 4644#line 86
 4645      __cil_tmp155 = __cil_tmp154 + 16;
 4646#line 86
 4647      __cil_tmp156 = *((int *)__cil_tmp155);
 4648#line 86
 4649      __cil_tmp157 = (unsigned long )__cil_tmp156;
 4650#line 86
 4651      __udelay(__cil_tmp157);
 4652      }
 4653    } else {
 4654
 4655    }
 4656    }
 4657    {
 4658#line 86
 4659    __cil_tmp158 = (unsigned long )pi;
 4660#line 86
 4661    __cil_tmp159 = __cil_tmp158 + 8;
 4662#line 86
 4663    __cil_tmp160 = *((int *)__cil_tmp159);
 4664#line 86
 4665    __cil_tmp161 = __cil_tmp160 + 2;
 4666#line 86
 4667    outb((unsigned char)5, __cil_tmp161);
 4668    }
 4669    {
 4670#line 86
 4671    __cil_tmp162 = (unsigned long )pi;
 4672#line 86
 4673    __cil_tmp163 = __cil_tmp162 + 16;
 4674#line 86
 4675    if (*((int *)__cil_tmp163)) {
 4676      {
 4677#line 86
 4678      __cil_tmp164 = (unsigned long )pi;
 4679#line 86
 4680      __cil_tmp165 = __cil_tmp164 + 16;
 4681#line 86
 4682      __cil_tmp166 = *((int *)__cil_tmp165);
 4683#line 86
 4684      __cil_tmp167 = (unsigned long )__cil_tmp166;
 4685#line 86
 4686      __udelay(__cil_tmp167);
 4687      }
 4688    } else {
 4689
 4690    }
 4691    }
 4692    {
 4693#line 86
 4694    __cil_tmp168 = (unsigned long )pi;
 4695#line 86
 4696    __cil_tmp169 = __cil_tmp168 + 8;
 4697#line 86
 4698    __cil_tmp170 = *((int *)__cil_tmp169);
 4699#line 86
 4700    __cil_tmp171 = __cil_tmp170 + 2;
 4701#line 86
 4702    outb((unsigned char)13, __cil_tmp171);
 4703    }
 4704    {
 4705#line 86
 4706    __cil_tmp172 = (unsigned long )pi;
 4707#line 86
 4708    __cil_tmp173 = __cil_tmp172 + 16;
 4709#line 86
 4710    if (*((int *)__cil_tmp173)) {
 4711      {
 4712#line 86
 4713      __cil_tmp174 = (unsigned long )pi;
 4714#line 86
 4715      __cil_tmp175 = __cil_tmp174 + 16;
 4716#line 86
 4717      __cil_tmp176 = *((int *)__cil_tmp175);
 4718#line 86
 4719      __cil_tmp177 = (unsigned long )__cil_tmp176;
 4720#line 86
 4721      __udelay(__cil_tmp177);
 4722      }
 4723    } else {
 4724
 4725    }
 4726    }
 4727    {
 4728#line 86
 4729    __cil_tmp178 = (unsigned long )pi;
 4730#line 86
 4731    __cil_tmp179 = __cil_tmp178 + 8;
 4732#line 86
 4733    __cil_tmp180 = *((int *)__cil_tmp179);
 4734#line 86
 4735    __cil_tmp181 = __cil_tmp180 + 2;
 4736#line 86
 4737    outb((unsigned char)5, __cil_tmp181);
 4738    }
 4739    {
 4740#line 86
 4741    __cil_tmp182 = (unsigned long )pi;
 4742#line 86
 4743    __cil_tmp183 = __cil_tmp182 + 16;
 4744#line 86
 4745    if (*((int *)__cil_tmp183)) {
 4746      {
 4747#line 86
 4748      __cil_tmp184 = (unsigned long )pi;
 4749#line 86
 4750      __cil_tmp185 = __cil_tmp184 + 16;
 4751#line 86
 4752      __cil_tmp186 = *((int *)__cil_tmp185);
 4753#line 86
 4754      __cil_tmp187 = (unsigned long )__cil_tmp186;
 4755#line 86
 4756      __udelay(__cil_tmp187);
 4757      }
 4758    } else {
 4759
 4760    }
 4761    }
 4762    {
 4763#line 86
 4764    __cil_tmp188 = (unsigned long )pi;
 4765#line 86
 4766    __cil_tmp189 = __cil_tmp188 + 8;
 4767#line 86
 4768    __cil_tmp190 = *((int *)__cil_tmp189);
 4769#line 86
 4770    __cil_tmp191 = __cil_tmp190 + 2;
 4771#line 86
 4772    outb((unsigned char)4, __cil_tmp191);
 4773    }
 4774    {
 4775#line 86
 4776    __cil_tmp192 = (unsigned long )pi;
 4777#line 86
 4778    __cil_tmp193 = __cil_tmp192 + 16;
 4779#line 86
 4780    if (*((int *)__cil_tmp193)) {
 4781      {
 4782#line 86
 4783      __cil_tmp194 = (unsigned long )pi;
 4784#line 86
 4785      __cil_tmp195 = __cil_tmp194 + 16;
 4786#line 86
 4787      __cil_tmp196 = *((int *)__cil_tmp195);
 4788#line 86
 4789      __cil_tmp197 = (unsigned long )__cil_tmp196;
 4790#line 86
 4791      __udelay(__cil_tmp197);
 4792      }
 4793    } else {
 4794
 4795    }
 4796    }
 4797    {
 4798#line 87
 4799    __cil_tmp198 = (unsigned char )val;
 4800#line 87
 4801    __cil_tmp199 = (unsigned long )pi;
 4802#line 87
 4803    __cil_tmp200 = __cil_tmp199 + 8;
 4804#line 87
 4805    __cil_tmp201 = *((int *)__cil_tmp200);
 4806#line 87
 4807    outb(__cil_tmp198, __cil_tmp201);
 4808    }
 4809    {
 4810#line 87
 4811    __cil_tmp202 = (unsigned long )pi;
 4812#line 87
 4813    __cil_tmp203 = __cil_tmp202 + 16;
 4814#line 87
 4815    if (*((int *)__cil_tmp203)) {
 4816      {
 4817#line 87
 4818      __cil_tmp204 = (unsigned long )pi;
 4819#line 87
 4820      __cil_tmp205 = __cil_tmp204 + 16;
 4821#line 87
 4822      __cil_tmp206 = *((int *)__cil_tmp205);
 4823#line 87
 4824      __cil_tmp207 = (unsigned long )__cil_tmp206;
 4825#line 87
 4826      __udelay(__cil_tmp207);
 4827      }
 4828    } else {
 4829
 4830    }
 4831    }
 4832    {
 4833#line 87
 4834    __cil_tmp208 = (unsigned long )pi;
 4835#line 87
 4836    __cil_tmp209 = __cil_tmp208 + 8;
 4837#line 87
 4838    __cil_tmp210 = *((int *)__cil_tmp209);
 4839#line 87
 4840    __cil_tmp211 = __cil_tmp210 + 2;
 4841#line 87
 4842    outb((unsigned char)5, __cil_tmp211);
 4843    }
 4844    {
 4845#line 87
 4846    __cil_tmp212 = (unsigned long )pi;
 4847#line 87
 4848    __cil_tmp213 = __cil_tmp212 + 16;
 4849#line 87
 4850    if (*((int *)__cil_tmp213)) {
 4851      {
 4852#line 87
 4853      __cil_tmp214 = (unsigned long )pi;
 4854#line 87
 4855      __cil_tmp215 = __cil_tmp214 + 16;
 4856#line 87
 4857      __cil_tmp216 = *((int *)__cil_tmp215);
 4858#line 87
 4859      __cil_tmp217 = (unsigned long )__cil_tmp216;
 4860#line 87
 4861      __udelay(__cil_tmp217);
 4862      }
 4863    } else {
 4864
 4865    }
 4866    }
 4867    {
 4868#line 87
 4869    __cil_tmp218 = (unsigned long )pi;
 4870#line 87
 4871    __cil_tmp219 = __cil_tmp218 + 8;
 4872#line 87
 4873    __cil_tmp220 = *((int *)__cil_tmp219);
 4874#line 87
 4875    __cil_tmp221 = __cil_tmp220 + 2;
 4876#line 87
 4877    outb((unsigned char)7, __cil_tmp221);
 4878    }
 4879    {
 4880#line 87
 4881    __cil_tmp222 = (unsigned long )pi;
 4882#line 87
 4883    __cil_tmp223 = __cil_tmp222 + 16;
 4884#line 87
 4885    if (*((int *)__cil_tmp223)) {
 4886      {
 4887#line 87
 4888      __cil_tmp224 = (unsigned long )pi;
 4889#line 87
 4890      __cil_tmp225 = __cil_tmp224 + 16;
 4891#line 87
 4892      __cil_tmp226 = *((int *)__cil_tmp225);
 4893#line 87
 4894      __cil_tmp227 = (unsigned long )__cil_tmp226;
 4895#line 87
 4896      __udelay(__cil_tmp227);
 4897      }
 4898    } else {
 4899
 4900    }
 4901    }
 4902    {
 4903#line 87
 4904    __cil_tmp228 = (unsigned long )pi;
 4905#line 87
 4906    __cil_tmp229 = __cil_tmp228 + 8;
 4907#line 87
 4908    __cil_tmp230 = *((int *)__cil_tmp229);
 4909#line 87
 4910    __cil_tmp231 = __cil_tmp230 + 2;
 4911#line 87
 4912    outb((unsigned char)5, __cil_tmp231);
 4913    }
 4914    {
 4915#line 87
 4916    __cil_tmp232 = (unsigned long )pi;
 4917#line 87
 4918    __cil_tmp233 = __cil_tmp232 + 16;
 4919#line 87
 4920    if (*((int *)__cil_tmp233)) {
 4921      {
 4922#line 87
 4923      __cil_tmp234 = (unsigned long )pi;
 4924#line 87
 4925      __cil_tmp235 = __cil_tmp234 + 16;
 4926#line 87
 4927      __cil_tmp236 = *((int *)__cil_tmp235);
 4928#line 87
 4929      __cil_tmp237 = (unsigned long )__cil_tmp236;
 4930#line 87
 4931      __udelay(__cil_tmp237);
 4932      }
 4933    } else {
 4934
 4935    }
 4936    }
 4937    {
 4938#line 87
 4939    __cil_tmp238 = (unsigned long )pi;
 4940#line 87
 4941    __cil_tmp239 = __cil_tmp238 + 8;
 4942#line 87
 4943    __cil_tmp240 = *((int *)__cil_tmp239);
 4944#line 87
 4945    __cil_tmp241 = __cil_tmp240 + 2;
 4946#line 87
 4947    outb((unsigned char)4, __cil_tmp241);
 4948    }
 4949    {
 4950#line 87
 4951    __cil_tmp242 = (unsigned long )pi;
 4952#line 87
 4953    __cil_tmp243 = __cil_tmp242 + 16;
 4954#line 87
 4955    if (*((int *)__cil_tmp243)) {
 4956      {
 4957#line 87
 4958      __cil_tmp244 = (unsigned long )pi;
 4959#line 87
 4960      __cil_tmp245 = __cil_tmp244 + 16;
 4961#line 87
 4962      __cil_tmp246 = *((int *)__cil_tmp245);
 4963#line 87
 4964      __cil_tmp247 = (unsigned long )__cil_tmp246;
 4965#line 87
 4966      __udelay(__cil_tmp247);
 4967      }
 4968    } else {
 4969
 4970    }
 4971    }
 4972    {
 4973#line 87
 4974    __cil_tmp248 = (unsigned char )val;
 4975#line 87
 4976    __cil_tmp249 = (unsigned long )pi;
 4977#line 87
 4978    __cil_tmp250 = __cil_tmp249 + 8;
 4979#line 87
 4980    __cil_tmp251 = *((int *)__cil_tmp250);
 4981#line 87
 4982    outb(__cil_tmp248, __cil_tmp251);
 4983    }
 4984    {
 4985#line 87
 4986    __cil_tmp252 = (unsigned long )pi;
 4987#line 87
 4988    __cil_tmp253 = __cil_tmp252 + 16;
 4989#line 87
 4990    if (*((int *)__cil_tmp253)) {
 4991      {
 4992#line 87
 4993      __cil_tmp254 = (unsigned long )pi;
 4994#line 87
 4995      __cil_tmp255 = __cil_tmp254 + 16;
 4996#line 87
 4997      __cil_tmp256 = *((int *)__cil_tmp255);
 4998#line 87
 4999      __cil_tmp257 = (unsigned long )__cil_tmp256;
 5000#line 87
 5001      __udelay(__cil_tmp257);
 5002      }
 5003    } else {
 5004
 5005    }
 5006    }
 5007    {
 5008#line 87
 5009    __cil_tmp258 = (unsigned long )pi;
 5010#line 87
 5011    __cil_tmp259 = __cil_tmp258 + 8;
 5012#line 87
 5013    __cil_tmp260 = *((int *)__cil_tmp259);
 5014#line 87
 5015    __cil_tmp261 = __cil_tmp260 + 2;
 5016#line 87
 5017    outb((unsigned char)5, __cil_tmp261);
 5018    }
 5019    {
 5020#line 87
 5021    __cil_tmp262 = (unsigned long )pi;
 5022#line 87
 5023    __cil_tmp263 = __cil_tmp262 + 16;
 5024#line 87
 5025    if (*((int *)__cil_tmp263)) {
 5026      {
 5027#line 87
 5028      __cil_tmp264 = (unsigned long )pi;
 5029#line 87
 5030      __cil_tmp265 = __cil_tmp264 + 16;
 5031#line 87
 5032      __cil_tmp266 = *((int *)__cil_tmp265);
 5033#line 87
 5034      __cil_tmp267 = (unsigned long )__cil_tmp266;
 5035#line 87
 5036      __udelay(__cil_tmp267);
 5037      }
 5038    } else {
 5039
 5040    }
 5041    }
 5042    {
 5043#line 87
 5044    __cil_tmp268 = (unsigned long )pi;
 5045#line 87
 5046    __cil_tmp269 = __cil_tmp268 + 8;
 5047#line 87
 5048    __cil_tmp270 = *((int *)__cil_tmp269);
 5049#line 87
 5050    __cil_tmp271 = __cil_tmp270 + 2;
 5051#line 87
 5052    outb((unsigned char)7, __cil_tmp271);
 5053    }
 5054    {
 5055#line 87
 5056    __cil_tmp272 = (unsigned long )pi;
 5057#line 87
 5058    __cil_tmp273 = __cil_tmp272 + 16;
 5059#line 87
 5060    if (*((int *)__cil_tmp273)) {
 5061      {
 5062#line 87
 5063      __cil_tmp274 = (unsigned long )pi;
 5064#line 87
 5065      __cil_tmp275 = __cil_tmp274 + 16;
 5066#line 87
 5067      __cil_tmp276 = *((int *)__cil_tmp275);
 5068#line 87
 5069      __cil_tmp277 = (unsigned long )__cil_tmp276;
 5070#line 87
 5071      __udelay(__cil_tmp277);
 5072      }
 5073    } else {
 5074
 5075    }
 5076    }
 5077    {
 5078#line 87
 5079    __cil_tmp278 = (unsigned long )pi;
 5080#line 87
 5081    __cil_tmp279 = __cil_tmp278 + 8;
 5082#line 87
 5083    __cil_tmp280 = *((int *)__cil_tmp279);
 5084#line 87
 5085    __cil_tmp281 = __cil_tmp280 + 2;
 5086#line 87
 5087    outb((unsigned char)5, __cil_tmp281);
 5088    }
 5089    {
 5090#line 87
 5091    __cil_tmp282 = (unsigned long )pi;
 5092#line 87
 5093    __cil_tmp283 = __cil_tmp282 + 16;
 5094#line 87
 5095    if (*((int *)__cil_tmp283)) {
 5096      {
 5097#line 87
 5098      __cil_tmp284 = (unsigned long )pi;
 5099#line 87
 5100      __cil_tmp285 = __cil_tmp284 + 16;
 5101#line 87
 5102      __cil_tmp286 = *((int *)__cil_tmp285);
 5103#line 87
 5104      __cil_tmp287 = (unsigned long )__cil_tmp286;
 5105#line 87
 5106      __udelay(__cil_tmp287);
 5107      }
 5108    } else {
 5109
 5110    }
 5111    }
 5112    {
 5113#line 87
 5114    __cil_tmp288 = (unsigned long )pi;
 5115#line 87
 5116    __cil_tmp289 = __cil_tmp288 + 8;
 5117#line 87
 5118    __cil_tmp290 = *((int *)__cil_tmp289);
 5119#line 87
 5120    __cil_tmp291 = __cil_tmp290 + 2;
 5121#line 87
 5122    outb((unsigned char)4, __cil_tmp291);
 5123    }
 5124    {
 5125#line 87
 5126    __cil_tmp292 = (unsigned long )pi;
 5127#line 87
 5128    __cil_tmp293 = __cil_tmp292 + 16;
 5129#line 87
 5130    if (*((int *)__cil_tmp293)) {
 5131      {
 5132#line 87
 5133      __cil_tmp294 = (unsigned long )pi;
 5134#line 87
 5135      __cil_tmp295 = __cil_tmp294 + 16;
 5136#line 87
 5137      __cil_tmp296 = *((int *)__cil_tmp295);
 5138#line 87
 5139      __cil_tmp297 = (unsigned long )__cil_tmp296;
 5140#line 87
 5141      __udelay(__cil_tmp297);
 5142      }
 5143    } else {
 5144
 5145    }
 5146    }
 5147#line 88
 5148    goto switch_break;
 5149    case_2: /* CIL Label */ 
 5150    case_3: /* CIL Label */ 
 5151    case_4: /* CIL Label */ 
 5152    {
 5153#line 92
 5154    __cil_tmp298 = (unsigned long )pi;
 5155#line 92
 5156    __cil_tmp299 = __cil_tmp298 + 8;
 5157#line 92
 5158    __cil_tmp300 = *((int *)__cil_tmp299);
 5159#line 92
 5160    __cil_tmp301 = __cil_tmp300 + 3;
 5161#line 92
 5162    outb((unsigned char)1, __cil_tmp301);
 5163    }
 5164    {
 5165#line 92
 5166    __cil_tmp302 = (unsigned long )pi;
 5167#line 92
 5168    __cil_tmp303 = __cil_tmp302 + 16;
 5169#line 92
 5170    if (*((int *)__cil_tmp303)) {
 5171      {
 5172#line 92
 5173      __cil_tmp304 = (unsigned long )pi;
 5174#line 92
 5175      __cil_tmp305 = __cil_tmp304 + 16;
 5176#line 92
 5177      __cil_tmp306 = *((int *)__cil_tmp305);
 5178#line 92
 5179      __cil_tmp307 = (unsigned long )__cil_tmp306;
 5180#line 92
 5181      __udelay(__cil_tmp307);
 5182      }
 5183    } else {
 5184
 5185    }
 5186    }
 5187    {
 5188#line 92
 5189    __cil_tmp308 = (unsigned long )pi;
 5190#line 92
 5191    __cil_tmp309 = __cil_tmp308 + 8;
 5192#line 92
 5193    __cil_tmp310 = *((int *)__cil_tmp309);
 5194#line 92
 5195    __cil_tmp311 = __cil_tmp310 + 3;
 5196#line 92
 5197    outb((unsigned char)1, __cil_tmp311);
 5198    }
 5199    {
 5200#line 92
 5201    __cil_tmp312 = (unsigned long )pi;
 5202#line 92
 5203    __cil_tmp313 = __cil_tmp312 + 16;
 5204#line 92
 5205    if (*((int *)__cil_tmp313)) {
 5206      {
 5207#line 92
 5208      __cil_tmp314 = (unsigned long )pi;
 5209#line 92
 5210      __cil_tmp315 = __cil_tmp314 + 16;
 5211#line 92
 5212      __cil_tmp316 = *((int *)__cil_tmp315);
 5213#line 92
 5214      __cil_tmp317 = (unsigned long )__cil_tmp316;
 5215#line 92
 5216      __udelay(__cil_tmp317);
 5217      }
 5218    } else {
 5219
 5220    }
 5221    }
 5222    {
 5223#line 92
 5224    __cil_tmp318 = (unsigned long )pi;
 5225#line 92
 5226    __cil_tmp319 = __cil_tmp318 + 8;
 5227#line 92
 5228    __cil_tmp320 = *((int *)__cil_tmp319);
 5229#line 92
 5230    __cil_tmp321 = __cil_tmp320 + 2;
 5231#line 92
 5232    outb((unsigned char)5, __cil_tmp321);
 5233    }
 5234    {
 5235#line 92
 5236    __cil_tmp322 = (unsigned long )pi;
 5237#line 92
 5238    __cil_tmp323 = __cil_tmp322 + 16;
 5239#line 92
 5240    if (*((int *)__cil_tmp323)) {
 5241      {
 5242#line 92
 5243      __cil_tmp324 = (unsigned long )pi;
 5244#line 92
 5245      __cil_tmp325 = __cil_tmp324 + 16;
 5246#line 92
 5247      __cil_tmp326 = *((int *)__cil_tmp325);
 5248#line 92
 5249      __cil_tmp327 = (unsigned long )__cil_tmp326;
 5250#line 92
 5251      __udelay(__cil_tmp327);
 5252      }
 5253    } else {
 5254
 5255    }
 5256    }
 5257    {
 5258#line 92
 5259    __cil_tmp328 = (unsigned char )r;
 5260#line 92
 5261    __cil_tmp329 = (unsigned long )pi;
 5262#line 92
 5263    __cil_tmp330 = __cil_tmp329 + 8;
 5264#line 92
 5265    __cil_tmp331 = *((int *)__cil_tmp330);
 5266#line 92
 5267    __cil_tmp332 = __cil_tmp331 + 4;
 5268#line 92
 5269    outb(__cil_tmp328, __cil_tmp332);
 5270    }
 5271    {
 5272#line 92
 5273    __cil_tmp333 = (unsigned long )pi;
 5274#line 92
 5275    __cil_tmp334 = __cil_tmp333 + 16;
 5276#line 92
 5277    if (*((int *)__cil_tmp334)) {
 5278      {
 5279#line 92
 5280      __cil_tmp335 = (unsigned long )pi;
 5281#line 92
 5282      __cil_tmp336 = __cil_tmp335 + 16;
 5283#line 92
 5284      __cil_tmp337 = *((int *)__cil_tmp336);
 5285#line 92
 5286      __cil_tmp338 = (unsigned long )__cil_tmp337;
 5287#line 92
 5288      __udelay(__cil_tmp338);
 5289      }
 5290    } else {
 5291
 5292    }
 5293    }
 5294    {
 5295#line 92
 5296    __cil_tmp339 = (unsigned long )pi;
 5297#line 92
 5298    __cil_tmp340 = __cil_tmp339 + 8;
 5299#line 92
 5300    __cil_tmp341 = *((int *)__cil_tmp340);
 5301#line 92
 5302    __cil_tmp342 = __cil_tmp341 + 2;
 5303#line 92
 5304    outb((unsigned char)4, __cil_tmp342);
 5305    }
 5306    {
 5307#line 92
 5308    __cil_tmp343 = (unsigned long )pi;
 5309#line 92
 5310    __cil_tmp344 = __cil_tmp343 + 16;
 5311#line 92
 5312    if (*((int *)__cil_tmp344)) {
 5313      {
 5314#line 92
 5315      __cil_tmp345 = (unsigned long )pi;
 5316#line 92
 5317      __cil_tmp346 = __cil_tmp345 + 16;
 5318#line 92
 5319      __cil_tmp347 = *((int *)__cil_tmp346);
 5320#line 92
 5321      __cil_tmp348 = (unsigned long )__cil_tmp347;
 5322#line 92
 5323      __udelay(__cil_tmp348);
 5324      }
 5325    } else {
 5326
 5327    }
 5328    }
 5329    {
 5330#line 93
 5331    __cil_tmp349 = (unsigned long )pi;
 5332#line 93
 5333    __cil_tmp350 = __cil_tmp349 + 8;
 5334#line 93
 5335    __cil_tmp351 = *((int *)__cil_tmp350);
 5336#line 93
 5337    __cil_tmp352 = __cil_tmp351 + 3;
 5338#line 93
 5339    outb((unsigned char)0, __cil_tmp352);
 5340    }
 5341    {
 5342#line 93
 5343    __cil_tmp353 = (unsigned long )pi;
 5344#line 93
 5345    __cil_tmp354 = __cil_tmp353 + 16;
 5346#line 93
 5347    if (*((int *)__cil_tmp354)) {
 5348      {
 5349#line 93
 5350      __cil_tmp355 = (unsigned long )pi;
 5351#line 93
 5352      __cil_tmp356 = __cil_tmp355 + 16;
 5353#line 93
 5354      __cil_tmp357 = *((int *)__cil_tmp356);
 5355#line 93
 5356      __cil_tmp358 = (unsigned long )__cil_tmp357;
 5357#line 93
 5358      __udelay(__cil_tmp358);
 5359      }
 5360    } else {
 5361
 5362    }
 5363    }
 5364    {
 5365#line 93
 5366    __cil_tmp359 = (unsigned long )pi;
 5367#line 93
 5368    __cil_tmp360 = __cil_tmp359 + 8;
 5369#line 93
 5370    __cil_tmp361 = *((int *)__cil_tmp360);
 5371#line 93
 5372    __cil_tmp362 = __cil_tmp361 + 3;
 5373#line 93
 5374    outb((unsigned char)0, __cil_tmp362);
 5375    }
 5376    {
 5377#line 93
 5378    __cil_tmp363 = (unsigned long )pi;
 5379#line 93
 5380    __cil_tmp364 = __cil_tmp363 + 16;
 5381#line 93
 5382    if (*((int *)__cil_tmp364)) {
 5383      {
 5384#line 93
 5385      __cil_tmp365 = (unsigned long )pi;
 5386#line 93
 5387      __cil_tmp366 = __cil_tmp365 + 16;
 5388#line 93
 5389      __cil_tmp367 = *((int *)__cil_tmp366);
 5390#line 93
 5391      __cil_tmp368 = (unsigned long )__cil_tmp367;
 5392#line 93
 5393      __udelay(__cil_tmp368);
 5394      }
 5395    } else {
 5396
 5397    }
 5398    }
 5399    {
 5400#line 94
 5401    __cil_tmp369 = (unsigned long )pi;
 5402#line 94
 5403    __cil_tmp370 = __cil_tmp369 + 8;
 5404#line 94
 5405    __cil_tmp371 = *((int *)__cil_tmp370);
 5406#line 94
 5407    __cil_tmp372 = __cil_tmp371 + 2;
 5408#line 94
 5409    outb((unsigned char)5, __cil_tmp372);
 5410    }
 5411    {
 5412#line 94
 5413    __cil_tmp373 = (unsigned long )pi;
 5414#line 94
 5415    __cil_tmp374 = __cil_tmp373 + 16;
 5416#line 94
 5417    if (*((int *)__cil_tmp374)) {
 5418      {
 5419#line 94
 5420      __cil_tmp375 = (unsigned long )pi;
 5421#line 94
 5422      __cil_tmp376 = __cil_tmp375 + 16;
 5423#line 94
 5424      __cil_tmp377 = *((int *)__cil_tmp376);
 5425#line 94
 5426      __cil_tmp378 = (unsigned long )__cil_tmp377;
 5427#line 94
 5428      __udelay(__cil_tmp378);
 5429      }
 5430    } else {
 5431
 5432    }
 5433    }
 5434    {
 5435#line 94
 5436    __cil_tmp379 = (unsigned char )val;
 5437#line 94
 5438    __cil_tmp380 = (unsigned long )pi;
 5439#line 94
 5440    __cil_tmp381 = __cil_tmp380 + 8;
 5441#line 94
 5442    __cil_tmp382 = *((int *)__cil_tmp381);
 5443#line 94
 5444    __cil_tmp383 = __cil_tmp382 + 4;
 5445#line 94
 5446    outb(__cil_tmp379, __cil_tmp383);
 5447    }
 5448    {
 5449#line 94
 5450    __cil_tmp384 = (unsigned long )pi;
 5451#line 94
 5452    __cil_tmp385 = __cil_tmp384 + 16;
 5453#line 94
 5454    if (*((int *)__cil_tmp385)) {
 5455      {
 5456#line 94
 5457      __cil_tmp386 = (unsigned long )pi;
 5458#line 94
 5459      __cil_tmp387 = __cil_tmp386 + 16;
 5460#line 94
 5461      __cil_tmp388 = *((int *)__cil_tmp387);
 5462#line 94
 5463      __cil_tmp389 = (unsigned long )__cil_tmp388;
 5464#line 94
 5465      __udelay(__cil_tmp389);
 5466      }
 5467    } else {
 5468
 5469    }
 5470    }
 5471    {
 5472#line 94
 5473    __cil_tmp390 = (unsigned long )pi;
 5474#line 94
 5475    __cil_tmp391 = __cil_tmp390 + 8;
 5476#line 94
 5477    __cil_tmp392 = *((int *)__cil_tmp391);
 5478#line 94
 5479    __cil_tmp393 = __cil_tmp392 + 2;
 5480#line 94
 5481    outb((unsigned char)4, __cil_tmp393);
 5482    }
 5483    {
 5484#line 94
 5485    __cil_tmp394 = (unsigned long )pi;
 5486#line 94
 5487    __cil_tmp395 = __cil_tmp394 + 16;
 5488#line 94
 5489    if (*((int *)__cil_tmp395)) {
 5490      {
 5491#line 94
 5492      __cil_tmp396 = (unsigned long )pi;
 5493#line 94
 5494      __cil_tmp397 = __cil_tmp396 + 16;
 5495#line 94
 5496      __cil_tmp398 = *((int *)__cil_tmp397);
 5497#line 94
 5498      __cil_tmp399 = (unsigned long )__cil_tmp398;
 5499#line 94
 5500      __udelay(__cil_tmp399);
 5501      }
 5502    } else {
 5503
 5504    }
 5505    }
 5506    {
 5507#line 95
 5508    __cil_tmp400 = (unsigned long )pi;
 5509#line 95
 5510    __cil_tmp401 = __cil_tmp400 + 8;
 5511#line 95
 5512    __cil_tmp402 = *((int *)__cil_tmp401);
 5513#line 95
 5514    __cil_tmp403 = __cil_tmp402 + 2;
 5515#line 95
 5516    outb((unsigned char)5, __cil_tmp403);
 5517    }
 5518    {
 5519#line 95
 5520    __cil_tmp404 = (unsigned long )pi;
 5521#line 95
 5522    __cil_tmp405 = __cil_tmp404 + 16;
 5523#line 95
 5524    if (*((int *)__cil_tmp405)) {
 5525      {
 5526#line 95
 5527      __cil_tmp406 = (unsigned long )pi;
 5528#line 95
 5529      __cil_tmp407 = __cil_tmp406 + 16;
 5530#line 95
 5531      __cil_tmp408 = *((int *)__cil_tmp407);
 5532#line 95
 5533      __cil_tmp409 = (unsigned long )__cil_tmp408;
 5534#line 95
 5535      __udelay(__cil_tmp409);
 5536      }
 5537    } else {
 5538
 5539    }
 5540    }
 5541    {
 5542#line 95
 5543    __cil_tmp410 = (unsigned char )val;
 5544#line 95
 5545    __cil_tmp411 = (unsigned long )pi;
 5546#line 95
 5547    __cil_tmp412 = __cil_tmp411 + 8;
 5548#line 95
 5549    __cil_tmp413 = *((int *)__cil_tmp412);
 5550#line 95
 5551    __cil_tmp414 = __cil_tmp413 + 4;
 5552#line 95
 5553    outb(__cil_tmp410, __cil_tmp414);
 5554    }
 5555    {
 5556#line 95
 5557    __cil_tmp415 = (unsigned long )pi;
 5558#line 95
 5559    __cil_tmp416 = __cil_tmp415 + 16;
 5560#line 95
 5561    if (*((int *)__cil_tmp416)) {
 5562      {
 5563#line 95
 5564      __cil_tmp417 = (unsigned long )pi;
 5565#line 95
 5566      __cil_tmp418 = __cil_tmp417 + 16;
 5567#line 95
 5568      __cil_tmp419 = *((int *)__cil_tmp418);
 5569#line 95
 5570      __cil_tmp420 = (unsigned long )__cil_tmp419;
 5571#line 95
 5572      __udelay(__cil_tmp420);
 5573      }
 5574    } else {
 5575
 5576    }
 5577    }
 5578    {
 5579#line 95
 5580    __cil_tmp421 = (unsigned long )pi;
 5581#line 95
 5582    __cil_tmp422 = __cil_tmp421 + 8;
 5583#line 95
 5584    __cil_tmp423 = *((int *)__cil_tmp422);
 5585#line 95
 5586    __cil_tmp424 = __cil_tmp423 + 2;
 5587#line 95
 5588    outb((unsigned char)4, __cil_tmp424);
 5589    }
 5590    {
 5591#line 95
 5592    __cil_tmp425 = (unsigned long )pi;
 5593#line 95
 5594    __cil_tmp426 = __cil_tmp425 + 16;
 5595#line 95
 5596    if (*((int *)__cil_tmp426)) {
 5597      {
 5598#line 95
 5599      __cil_tmp427 = (unsigned long )pi;
 5600#line 95
 5601      __cil_tmp428 = __cil_tmp427 + 16;
 5602#line 95
 5603      __cil_tmp429 = *((int *)__cil_tmp428);
 5604#line 95
 5605      __cil_tmp430 = (unsigned long )__cil_tmp429;
 5606#line 95
 5607      __udelay(__cil_tmp430);
 5608      }
 5609    } else {
 5610
 5611    }
 5612    }
 5613#line 96
 5614    goto switch_break;
 5615  } else {
 5616    switch_break: /* CIL Label */ ;
 5617  }
 5618  }
 5619#line 98
 5620  return;
 5621}
 5622}
 5623#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16809/dscv_tempdir/dscv/ri/32_1/drivers/block/paride/on26.c.common.c"
 5624static void on26_connect(PIA *pi ) 
 5625{ int x ;
 5626  unsigned char tmp ;
 5627  unsigned char tmp___0 ;
 5628  unsigned long __cil_tmp5 ;
 5629  unsigned long __cil_tmp6 ;
 5630  unsigned long __cil_tmp7 ;
 5631  unsigned long __cil_tmp8 ;
 5632  int __cil_tmp9 ;
 5633  unsigned long __cil_tmp10 ;
 5634  unsigned long __cil_tmp11 ;
 5635  unsigned long __cil_tmp12 ;
 5636  int __cil_tmp13 ;
 5637  unsigned long __cil_tmp14 ;
 5638  unsigned long __cil_tmp15 ;
 5639  int __cil_tmp16 ;
 5640  unsigned long __cil_tmp17 ;
 5641  unsigned long __cil_tmp18 ;
 5642  unsigned long __cil_tmp19 ;
 5643  unsigned long __cil_tmp20 ;
 5644  int __cil_tmp21 ;
 5645  unsigned long __cil_tmp22 ;
 5646  unsigned long __cil_tmp23 ;
 5647  unsigned long __cil_tmp24 ;
 5648  int __cil_tmp25 ;
 5649  int __cil_tmp26 ;
 5650  unsigned long __cil_tmp27 ;
 5651  unsigned long __cil_tmp28 ;
 5652  int __cil_tmp29 ;
 5653  unsigned long __cil_tmp30 ;
 5654  unsigned long __cil_tmp31 ;
 5655  int __cil_tmp32 ;
 5656  unsigned long __cil_tmp33 ;
 5657  unsigned long __cil_tmp34 ;
 5658  unsigned long __cil_tmp35 ;
 5659  unsigned long __cil_tmp36 ;
 5660  int __cil_tmp37 ;
 5661  unsigned long __cil_tmp38 ;
 5662  unsigned long __cil_tmp39 ;
 5663  unsigned long __cil_tmp40 ;
 5664  int __cil_tmp41 ;
 5665  unsigned long __cil_tmp42 ;
 5666  unsigned long __cil_tmp43 ;
 5667  unsigned long __cil_tmp44 ;
 5668  unsigned long __cil_tmp45 ;
 5669  int __cil_tmp46 ;
 5670  unsigned long __cil_tmp47 ;
 5671  unsigned long __cil_tmp48 ;
 5672  unsigned long __cil_tmp49 ;
 5673  int __cil_tmp50 ;
 5674  unsigned long __cil_tmp51 ;
 5675  unsigned long __cil_tmp52 ;
 5676  unsigned long __cil_tmp53 ;
 5677  unsigned long __cil_tmp54 ;
 5678  int __cil_tmp55 ;
 5679  unsigned long __cil_tmp56 ;
 5680  unsigned long __cil_tmp57 ;
 5681  unsigned long __cil_tmp58 ;
 5682  int __cil_tmp59 ;
 5683  unsigned long __cil_tmp60 ;
 5684  unsigned long __cil_tmp61 ;
 5685  unsigned long __cil_tmp62 ;
 5686  unsigned long __cil_tmp63 ;
 5687  int __cil_tmp64 ;
 5688  unsigned long __cil_tmp65 ;
 5689  unsigned long __cil_tmp66 ;
 5690  unsigned long __cil_tmp67 ;
 5691  int __cil_tmp68 ;
 5692  unsigned long __cil_tmp69 ;
 5693  unsigned long __cil_tmp70 ;
 5694  unsigned long __cil_tmp71 ;
 5695  unsigned long __cil_tmp72 ;
 5696  int __cil_tmp73 ;
 5697  unsigned long __cil_tmp74 ;
 5698  unsigned long __cil_tmp75 ;
 5699  unsigned long __cil_tmp76 ;
 5700  int __cil_tmp77 ;
 5701  unsigned long __cil_tmp78 ;
 5702  unsigned long __cil_tmp79 ;
 5703  unsigned long __cil_tmp80 ;
 5704  unsigned long __cil_tmp81 ;
 5705  int __cil_tmp82 ;
 5706  unsigned long __cil_tmp83 ;
 5707  unsigned long __cil_tmp84 ;
 5708  unsigned long __cil_tmp85 ;
 5709  int __cil_tmp86 ;
 5710  unsigned long __cil_tmp87 ;
 5711  unsigned long __cil_tmp88 ;
 5712  unsigned long __cil_tmp89 ;
 5713  unsigned long __cil_tmp90 ;
 5714  int __cil_tmp91 ;
 5715  unsigned long __cil_tmp92 ;
 5716  unsigned long __cil_tmp93 ;
 5717  unsigned long __cil_tmp94 ;
 5718  int __cil_tmp95 ;
 5719  unsigned long __cil_tmp96 ;
 5720  unsigned long __cil_tmp97 ;
 5721  unsigned long __cil_tmp98 ;
 5722  unsigned long __cil_tmp99 ;
 5723  int __cil_tmp100 ;
 5724  unsigned long __cil_tmp101 ;
 5725  unsigned long __cil_tmp102 ;
 5726  unsigned long __cil_tmp103 ;
 5727  int __cil_tmp104 ;
 5728  int __cil_tmp105 ;
 5729  unsigned long __cil_tmp106 ;
 5730  unsigned long __cil_tmp107 ;
 5731  unsigned long __cil_tmp108 ;
 5732  unsigned long __cil_tmp109 ;
 5733  int __cil_tmp110 ;
 5734  unsigned long __cil_tmp111 ;
 5735  unsigned long __cil_tmp112 ;
 5736  unsigned long __cil_tmp113 ;
 5737  int __cil_tmp114 ;
 5738  int __cil_tmp115 ;
 5739  unsigned long __cil_tmp116 ;
 5740  unsigned long __cil_tmp117 ;
 5741  unsigned long __cil_tmp118 ;
 5742  unsigned long __cil_tmp119 ;
 5743  int __cil_tmp120 ;
 5744  unsigned long __cil_tmp121 ;
 5745  unsigned long __cil_tmp122 ;
 5746  unsigned long __cil_tmp123 ;
 5747  int __cil_tmp124 ;
 5748  int __cil_tmp125 ;
 5749  unsigned long __cil_tmp126 ;
 5750  unsigned long __cil_tmp127 ;
 5751  unsigned long __cil_tmp128 ;
 5752  unsigned long __cil_tmp129 ;
 5753  int __cil_tmp130 ;
 5754  unsigned long __cil_tmp131 ;
 5755  unsigned long __cil_tmp132 ;
 5756  unsigned long __cil_tmp133 ;
 5757  int __cil_tmp134 ;
 5758  unsigned long __cil_tmp135 ;
 5759  unsigned long __cil_tmp136 ;
 5760  unsigned long __cil_tmp137 ;
 5761  unsigned long __cil_tmp138 ;
 5762  int __cil_tmp139 ;
 5763  unsigned long __cil_tmp140 ;
 5764  unsigned long __cil_tmp141 ;
 5765  unsigned long __cil_tmp142 ;
 5766  unsigned long __cil_tmp143 ;
 5767  unsigned long __cil_tmp144 ;
 5768  int __cil_tmp145 ;
 5769  unsigned long __cil_tmp146 ;
 5770  unsigned long __cil_tmp147 ;
 5771  unsigned long __cil_tmp148 ;
 5772  unsigned long __cil_tmp149 ;
 5773  int __cil_tmp150 ;
 5774  unsigned long __cil_tmp151 ;
 5775  unsigned long __cil_tmp152 ;
 5776  unsigned long __cil_tmp153 ;
 5777  int __cil_tmp154 ;
 5778  int __cil_tmp155 ;
 5779  unsigned long __cil_tmp156 ;
 5780  unsigned long __cil_tmp157 ;
 5781  unsigned long __cil_tmp158 ;
 5782  unsigned long __cil_tmp159 ;
 5783  int __cil_tmp160 ;
 5784  unsigned long __cil_tmp161 ;
 5785  unsigned long __cil_tmp162 ;
 5786  unsigned long __cil_tmp163 ;
 5787  int __cil_tmp164 ;
 5788  int __cil_tmp165 ;
 5789  unsigned long __cil_tmp166 ;
 5790  unsigned long __cil_tmp167 ;
 5791  unsigned long __cil_tmp168 ;
 5792  unsigned long __cil_tmp169 ;
 5793  int __cil_tmp170 ;
 5794  unsigned long __cil_tmp171 ;
 5795  unsigned long __cil_tmp172 ;
 5796  unsigned long __cil_tmp173 ;
 5797  int __cil_tmp174 ;
 5798  int __cil_tmp175 ;
 5799  unsigned long __cil_tmp176 ;
 5800  unsigned long __cil_tmp177 ;
 5801  unsigned long __cil_tmp178 ;
 5802  unsigned long __cil_tmp179 ;
 5803  int __cil_tmp180 ;
 5804  unsigned long __cil_tmp181 ;
 5805  unsigned long __cil_tmp182 ;
 5806  unsigned long __cil_tmp183 ;
 5807  int __cil_tmp184 ;
 5808  int __cil_tmp185 ;
 5809  unsigned long __cil_tmp186 ;
 5810  unsigned long __cil_tmp187 ;
 5811  unsigned long __cil_tmp188 ;
 5812  unsigned long __cil_tmp189 ;
 5813  int __cil_tmp190 ;
 5814  unsigned long __cil_tmp191 ;
 5815  unsigned long __cil_tmp192 ;
 5816  unsigned long __cil_tmp193 ;
 5817  int __cil_tmp194 ;
 5818  int __cil_tmp195 ;
 5819  unsigned long __cil_tmp196 ;
 5820  unsigned long __cil_tmp197 ;
 5821  unsigned long __cil_tmp198 ;
 5822  unsigned long __cil_tmp199 ;
 5823  int __cil_tmp200 ;
 5824  unsigned long __cil_tmp201 ;
 5825  unsigned long __cil_tmp202 ;
 5826  unsigned long __cil_tmp203 ;
 5827  int __cil_tmp204 ;
 5828  int __cil_tmp205 ;
 5829  unsigned long __cil_tmp206 ;
 5830  unsigned long __cil_tmp207 ;
 5831  unsigned long __cil_tmp208 ;
 5832  unsigned long __cil_tmp209 ;
 5833  int __cil_tmp210 ;
 5834  unsigned long __cil_tmp211 ;
 5835  unsigned long __cil_tmp212 ;
 5836  unsigned long __cil_tmp213 ;
 5837  int __cil_tmp214 ;
 5838  unsigned long __cil_tmp215 ;
 5839  unsigned long __cil_tmp216 ;
 5840  unsigned long __cil_tmp217 ;
 5841  unsigned long __cil_tmp218 ;
 5842  int __cil_tmp219 ;
 5843  unsigned long __cil_tmp220 ;
 5844  unsigned long __cil_tmp221 ;
 5845  unsigned long __cil_tmp222 ;
 5846  int __cil_tmp223 ;
 5847  int __cil_tmp224 ;
 5848  unsigned long __cil_tmp225 ;
 5849  unsigned long __cil_tmp226 ;
 5850  unsigned long __cil_tmp227 ;
 5851  unsigned long __cil_tmp228 ;
 5852  int __cil_tmp229 ;
 5853  unsigned long __cil_tmp230 ;
 5854  unsigned long __cil_tmp231 ;
 5855  unsigned long __cil_tmp232 ;
 5856  int __cil_tmp233 ;
 5857  int __cil_tmp234 ;
 5858  unsigned long __cil_tmp235 ;
 5859  unsigned long __cil_tmp236 ;
 5860  unsigned long __cil_tmp237 ;
 5861  unsigned long __cil_tmp238 ;
 5862  int __cil_tmp239 ;
 5863  unsigned long __cil_tmp240 ;
 5864  unsigned long __cil_tmp241 ;
 5865  unsigned long __cil_tmp242 ;
 5866  int __cil_tmp243 ;
 5867  int __cil_tmp244 ;
 5868  unsigned long __cil_tmp245 ;
 5869  unsigned long __cil_tmp246 ;
 5870  unsigned long __cil_tmp247 ;
 5871  unsigned long __cil_tmp248 ;
 5872  int __cil_tmp249 ;
 5873  unsigned long __cil_tmp250 ;
 5874  unsigned long __cil_tmp251 ;
 5875  unsigned long __cil_tmp252 ;
 5876  int __cil_tmp253 ;
 5877  int __cil_tmp254 ;
 5878  unsigned long __cil_tmp255 ;
 5879  unsigned long __cil_tmp256 ;
 5880  unsigned long __cil_tmp257 ;
 5881  unsigned long __cil_tmp258 ;
 5882  int __cil_tmp259 ;
 5883  unsigned long __cil_tmp260 ;
 5884  unsigned long __cil_tmp261 ;
 5885  unsigned long __cil_tmp262 ;
 5886  int __cil_tmp263 ;
 5887  unsigned long __cil_tmp264 ;
 5888  unsigned long __cil_tmp265 ;
 5889  unsigned long __cil_tmp266 ;
 5890  unsigned long __cil_tmp267 ;
 5891  int __cil_tmp268 ;
 5892  unsigned long __cil_tmp269 ;
 5893  unsigned long __cil_tmp270 ;
 5894  unsigned long __cil_tmp271 ;
 5895  int __cil_tmp272 ;
 5896  int __cil_tmp273 ;
 5897  unsigned long __cil_tmp274 ;
 5898  unsigned long __cil_tmp275 ;
 5899  unsigned long __cil_tmp276 ;
 5900  unsigned long __cil_tmp277 ;
 5901  int __cil_tmp278 ;
 5902  unsigned long __cil_tmp279 ;
 5903  unsigned long __cil_tmp280 ;
 5904  unsigned long __cil_tmp281 ;
 5905  int __cil_tmp282 ;
 5906  int __cil_tmp283 ;
 5907  unsigned long __cil_tmp284 ;
 5908  unsigned long __cil_tmp285 ;
 5909  unsigned long __cil_tmp286 ;
 5910  unsigned long __cil_tmp287 ;
 5911  int __cil_tmp288 ;
 5912  unsigned long __cil_tmp289 ;
 5913  unsigned long __cil_tmp290 ;
 5914  unsigned long __cil_tmp291 ;
 5915  int __cil_tmp292 ;
 5916  int __cil_tmp293 ;
 5917  unsigned long __cil_tmp294 ;
 5918  unsigned long __cil_tmp295 ;
 5919  unsigned long __cil_tmp296 ;
 5920  unsigned long __cil_tmp297 ;
 5921  int __cil_tmp298 ;
 5922  unsigned long __cil_tmp299 ;
 5923  unsigned long __cil_tmp300 ;
 5924  unsigned long __cil_tmp301 ;
 5925  int __cil_tmp302 ;
 5926  int __cil_tmp303 ;
 5927  unsigned long __cil_tmp304 ;
 5928  unsigned long __cil_tmp305 ;
 5929  unsigned long __cil_tmp306 ;
 5930  unsigned long __cil_tmp307 ;
 5931  int __cil_tmp308 ;
 5932  unsigned long __cil_tmp309 ;
 5933  unsigned long __cil_tmp310 ;
 5934  unsigned long __cil_tmp311 ;
 5935  int __cil_tmp312 ;
 5936  int __cil_tmp313 ;
 5937  unsigned long __cil_tmp314 ;
 5938  unsigned long __cil_tmp315 ;
 5939  unsigned long __cil_tmp316 ;
 5940  unsigned long __cil_tmp317 ;
 5941  int __cil_tmp318 ;
 5942  unsigned long __cil_tmp319 ;
 5943  unsigned long __cil_tmp320 ;
 5944  unsigned long __cil_tmp321 ;
 5945  int __cil_tmp322 ;
 5946  int __cil_tmp323 ;
 5947  unsigned long __cil_tmp324 ;
 5948  unsigned long __cil_tmp325 ;
 5949  unsigned long __cil_tmp326 ;
 5950  unsigned long __cil_tmp327 ;
 5951  int __cil_tmp328 ;
 5952  unsigned long __cil_tmp329 ;
 5953  unsigned char __cil_tmp330 ;
 5954  unsigned long __cil_tmp331 ;
 5955  unsigned long __cil_tmp332 ;
 5956  int __cil_tmp333 ;
 5957  unsigned long __cil_tmp334 ;
 5958  unsigned long __cil_tmp335 ;
 5959  unsigned long __cil_tmp336 ;
 5960  unsigned long __cil_tmp337 ;
 5961  int __cil_tmp338 ;
 5962  unsigned long __cil_tmp339 ;
 5963  unsigned long __cil_tmp340 ;
 5964  unsigned long __cil_tmp341 ;
 5965  int __cil_tmp342 ;
 5966  int __cil_tmp343 ;
 5967  unsigned long __cil_tmp344 ;
 5968  unsigned long __cil_tmp345 ;
 5969  unsigned long __cil_tmp346 ;
 5970  unsigned long __cil_tmp347 ;
 5971  int __cil_tmp348 ;
 5972  unsigned long __cil_tmp349 ;
 5973  unsigned long __cil_tmp350 ;
 5974  unsigned long __cil_tmp351 ;
 5975  int __cil_tmp352 ;
 5976  int __cil_tmp353 ;
 5977  unsigned long __cil_tmp354 ;
 5978  unsigned long __cil_tmp355 ;
 5979  unsigned long __cil_tmp356 ;
 5980  unsigned long __cil_tmp357 ;
 5981  int __cil_tmp358 ;
 5982  unsigned long __cil_tmp359 ;
 5983  unsigned long __cil_tmp360 ;
 5984  unsigned long __cil_tmp361 ;
 5985  int __cil_tmp362 ;
 5986  int __cil_tmp363 ;
 5987  unsigned long __cil_tmp364 ;
 5988  unsigned long __cil_tmp365 ;
 5989  unsigned long __cil_tmp366 ;
 5990  unsigned long __cil_tmp367 ;
 5991  int __cil_tmp368 ;
 5992  unsigned long __cil_tmp369 ;
 5993  unsigned long __cil_tmp370 ;
 5994  unsigned long __cil_tmp371 ;
 5995  int __cil_tmp372 ;
 5996  int __cil_tmp373 ;
 5997  unsigned long __cil_tmp374 ;
 5998  unsigned long __cil_tmp375 ;
 5999  unsigned long __cil_tmp376 ;
 6000  unsigned long __cil_tmp377 ;
 6001  int __cil_tmp378 ;
 6002  unsigned long __cil_tmp379 ;
 6003
 6004  {
 6005  {
 6006#line 107
 6007  __cil_tmp5 = (unsigned long )pi;
 6008#line 107
 6009  __cil_tmp6 = __cil_tmp5 + 16;
 6010#line 107
 6011  if (*((int *)__cil_tmp6)) {
 6012    {
 6013#line 107
 6014    __cil_tmp7 = (unsigned long )pi;
 6015#line 107
 6016    __cil_tmp8 = __cil_tmp7 + 16;
 6017#line 107
 6018    __cil_tmp9 = *((int *)__cil_tmp8);
 6019#line 107
 6020    __cil_tmp10 = (unsigned long )__cil_tmp9;
 6021#line 107
 6022    __udelay(__cil_tmp10);
 6023    }
 6024  } else {
 6025
 6026  }
 6027  }
 6028  {
 6029#line 107
 6030  __cil_tmp11 = (unsigned long )pi;
 6031#line 107
 6032  __cil_tmp12 = __cil_tmp11 + 8;
 6033#line 107
 6034  __cil_tmp13 = *((int *)__cil_tmp12);
 6035#line 107
 6036  tmp = inb(__cil_tmp13);
 6037#line 107
 6038  __cil_tmp14 = (unsigned long )pi;
 6039#line 107
 6040  __cil_tmp15 = __cil_tmp14 + 36;
 6041#line 107
 6042  __cil_tmp16 = (int )tmp;
 6043#line 107
 6044  *((int *)__cil_tmp15) = __cil_tmp16 & 255;
 6045  }
 6046  {
 6047#line 108
 6048  __cil_tmp17 = (unsigned long )pi;
 6049#line 108
 6050  __cil_tmp18 = __cil_tmp17 + 16;
 6051#line 108
 6052  if (*((int *)__cil_tmp18)) {
 6053    {
 6054#line 108
 6055    __cil_tmp19 = (unsigned long )pi;
 6056#line 108
 6057    __cil_tmp20 = __cil_tmp19 + 16;
 6058#line 108
 6059    __cil_tmp21 = *((int *)__cil_tmp20);
 6060#line 108
 6061    __cil_tmp22 = (unsigned long )__cil_tmp21;
 6062#line 108
 6063    __udelay(__cil_tmp22);
 6064    }
 6065  } else {
 6066
 6067  }
 6068  }
 6069  {
 6070#line 108
 6071  __cil_tmp23 = (unsigned long )pi;
 6072#line 108
 6073  __cil_tmp24 = __cil_tmp23 + 8;
 6074#line 108
 6075  __cil_tmp25 = *((int *)__cil_tmp24);
 6076#line 108
 6077  __cil_tmp26 = __cil_tmp25 + 2;
 6078#line 108
 6079  tmp___0 = inb(__cil_tmp26);
 6080#line 108
 6081  __cil_tmp27 = (unsigned long )pi;
 6082#line 108
 6083  __cil_tmp28 = __cil_tmp27 + 40;
 6084#line 108
 6085  __cil_tmp29 = (int )tmp___0;
 6086#line 108
 6087  *((int *)__cil_tmp28) = __cil_tmp29 & 255;
 6088#line 110
 6089  __cil_tmp30 = (unsigned long )pi;
 6090#line 110
 6091  __cil_tmp31 = __cil_tmp30 + 8;
 6092#line 110
 6093  __cil_tmp32 = *((int *)__cil_tmp31);
 6094#line 110
 6095  outb((unsigned char)254, __cil_tmp32);
 6096  }
 6097  {
 6098#line 110
 6099  __cil_tmp33 = (unsigned long )pi;
 6100#line 110
 6101  __cil_tmp34 = __cil_tmp33 + 16;
 6102#line 110
 6103  if (*((int *)__cil_tmp34)) {
 6104    {
 6105#line 110
 6106    __cil_tmp35 = (unsigned long )pi;
 6107#line 110
 6108    __cil_tmp36 = __cil_tmp35 + 16;
 6109#line 110
 6110    __cil_tmp37 = *((int *)__cil_tmp36);
 6111#line 110
 6112    __cil_tmp38 = (unsigned long )__cil_tmp37;
 6113#line 110
 6114    __udelay(__cil_tmp38);
 6115    }
 6116  } else {
 6117
 6118  }
 6119  }
 6120  {
 6121#line 110
 6122  __cil_tmp39 = (unsigned long )pi;
 6123#line 110
 6124  __cil_tmp40 = __cil_tmp39 + 8;
 6125#line 110
 6126  __cil_tmp41 = *((int *)__cil_tmp40);
 6127#line 110
 6128  outb((unsigned char)170, __cil_tmp41);
 6129  }
 6130  {
 6131#line 110
 6132  __cil_tmp42 = (unsigned long )pi;
 6133#line 110
 6134  __cil_tmp43 = __cil_tmp42 + 16;
 6135#line 110
 6136  if (*((int *)__cil_tmp43)) {
 6137    {
 6138#line 110
 6139    __cil_tmp44 = (unsigned long )pi;
 6140#line 110
 6141    __cil_tmp45 = __cil_tmp44 + 16;
 6142#line 110
 6143    __cil_tmp46 = *((int *)__cil_tmp45);
 6144#line 110
 6145    __cil_tmp47 = (unsigned long )__cil_tmp46;
 6146#line 110
 6147    __udelay(__cil_tmp47);
 6148    }
 6149  } else {
 6150
 6151  }
 6152  }
 6153  {
 6154#line 110
 6155  __cil_tmp48 = (unsigned long )pi;
 6156#line 110
 6157  __cil_tmp49 = __cil_tmp48 + 8;
 6158#line 110
 6159  __cil_tmp50 = *((int *)__cil_tmp49);
 6160#line 110
 6161  outb((unsigned char)85, __cil_tmp50);
 6162  }
 6163  {
 6164#line 110
 6165  __cil_tmp51 = (unsigned long )pi;
 6166#line 110
 6167  __cil_tmp52 = __cil_tmp51 + 16;
 6168#line 110
 6169  if (*((int *)__cil_tmp52)) {
 6170    {
 6171#line 110
 6172    __cil_tmp53 = (unsigned long )pi;
 6173#line 110
 6174    __cil_tmp54 = __cil_tmp53 + 16;
 6175#line 110
 6176    __cil_tmp55 = *((int *)__cil_tmp54);
 6177#line 110
 6178    __cil_tmp56 = (unsigned long )__cil_tmp55;
 6179#line 110
 6180    __udelay(__cil_tmp56);
 6181    }
 6182  } else {
 6183
 6184  }
 6185  }
 6186  {
 6187#line 110
 6188  __cil_tmp57 = (unsigned long )pi;
 6189#line 110
 6190  __cil_tmp58 = __cil_tmp57 + 8;
 6191#line 110
 6192  __cil_tmp59 = *((int *)__cil_tmp58);
 6193#line 110
 6194  outb((unsigned char)0, __cil_tmp59);
 6195  }
 6196  {
 6197#line 110
 6198  __cil_tmp60 = (unsigned long )pi;
 6199#line 110
 6200  __cil_tmp61 = __cil_tmp60 + 16;
 6201#line 110
 6202  if (*((int *)__cil_tmp61)) {
 6203    {
 6204#line 110
 6205    __cil_tmp62 = (unsigned long )pi;
 6206#line 110
 6207    __cil_tmp63 = __cil_tmp62 + 16;
 6208#line 110
 6209    __cil_tmp64 = *((int *)__cil_tmp63);
 6210#line 110
 6211    __cil_tmp65 = (unsigned long )__cil_tmp64;
 6212#line 110
 6213    __udelay(__cil_tmp65);
 6214    }
 6215  } else {
 6216
 6217  }
 6218  }
 6219  {
 6220#line 110
 6221  __cil_tmp66 = (unsigned long )pi;
 6222#line 110
 6223  __cil_tmp67 = __cil_tmp66 + 8;
 6224#line 110
 6225  __cil_tmp68 = *((int *)__cil_tmp67);
 6226#line 110
 6227  outb((unsigned char)255, __cil_tmp68);
 6228  }
 6229  {
 6230#line 110
 6231  __cil_tmp69 = (unsigned long )pi;
 6232#line 110
 6233  __cil_tmp70 = __cil_tmp69 + 16;
 6234#line 110
 6235  if (*((int *)__cil_tmp70)) {
 6236    {
 6237#line 110
 6238    __cil_tmp71 = (unsigned long )pi;
 6239#line 110
 6240    __cil_tmp72 = __cil_tmp71 + 16;
 6241#line 110
 6242    __cil_tmp73 = *((int *)__cil_tmp72);
 6243#line 110
 6244    __cil_tmp74 = (unsigned long )__cil_tmp73;
 6245#line 110
 6246    __udelay(__cil_tmp74);
 6247    }
 6248  } else {
 6249
 6250  }
 6251  }
 6252  {
 6253#line 110
 6254  __cil_tmp75 = (unsigned long )pi;
 6255#line 110
 6256  __cil_tmp76 = __cil_tmp75 + 8;
 6257#line 110
 6258  __cil_tmp77 = *((int *)__cil_tmp76);
 6259#line 110
 6260  outb((unsigned char)135, __cil_tmp77);
 6261  }
 6262  {
 6263#line 110
 6264  __cil_tmp78 = (unsigned long )pi;
 6265#line 110
 6266  __cil_tmp79 = __cil_tmp78 + 16;
 6267#line 110
 6268  if (*((int *)__cil_tmp79)) {
 6269    {
 6270#line 110
 6271    __cil_tmp80 = (unsigned long )pi;
 6272#line 110
 6273    __cil_tmp81 = __cil_tmp80 + 16;
 6274#line 110
 6275    __cil_tmp82 = *((int *)__cil_tmp81);
 6276#line 110
 6277    __cil_tmp83 = (unsigned long )__cil_tmp82;
 6278#line 110
 6279    __udelay(__cil_tmp83);
 6280    }
 6281  } else {
 6282
 6283  }
 6284  }
 6285  {
 6286#line 110
 6287  __cil_tmp84 = (unsigned long )pi;
 6288#line 110
 6289  __cil_tmp85 = __cil_tmp84 + 8;
 6290#line 110
 6291  __cil_tmp86 = *((int *)__cil_tmp85);
 6292#line 110
 6293  outb((unsigned char)120, __cil_tmp86);
 6294  }
 6295  {
 6296#line 110
 6297  __cil_tmp87 = (unsigned long )pi;
 6298#line 110
 6299  __cil_tmp88 = __cil_tmp87 + 16;
 6300#line 110
 6301  if (*((int *)__cil_tmp88)) {
 6302    {
 6303#line 110
 6304    __cil_tmp89 = (unsigned long )pi;
 6305#line 110
 6306    __cil_tmp90 = __cil_tmp89 + 16;
 6307#line 110
 6308    __cil_tmp91 = *((int *)__cil_tmp90);
 6309#line 110
 6310    __cil_tmp92 = (unsigned long )__cil_tmp91;
 6311#line 110
 6312    __udelay(__cil_tmp92);
 6313    }
 6314  } else {
 6315
 6316  }
 6317  }
 6318  {
 6319#line 110
 6320  __cil_tmp93 = (unsigned long )pi;
 6321#line 110
 6322  __cil_tmp94 = __cil_tmp93 + 8;
 6323#line 110
 6324  __cil_tmp95 = *((int *)__cil_tmp94);
 6325#line 110
 6326  outb((unsigned char)32, __cil_tmp95);
 6327  }
 6328  {
 6329#line 110
 6330  __cil_tmp96 = (unsigned long )pi;
 6331#line 110
 6332  __cil_tmp97 = __cil_tmp96 + 16;
 6333#line 110
 6334  if (*((int *)__cil_tmp97)) {
 6335    {
 6336#line 110
 6337    __cil_tmp98 = (unsigned long )pi;
 6338#line 110
 6339    __cil_tmp99 = __cil_tmp98 + 16;
 6340#line 110
 6341    __cil_tmp100 = *((int *)__cil_tmp99);
 6342#line 110
 6343    __cil_tmp101 = (unsigned long )__cil_tmp100;
 6344#line 110
 6345    __udelay(__cil_tmp101);
 6346    }
 6347  } else {
 6348
 6349  }
 6350  }
 6351  {
 6352#line 110
 6353  __cil_tmp102 = (unsigned long )pi;
 6354#line 110
 6355  __cil_tmp103 = __cil_tmp102 + 8;
 6356#line 110
 6357  __cil_tmp104 = *((int *)__cil_tmp103);
 6358#line 110
 6359  __cil_tmp105 = __cil_tmp104 + 2;
 6360#line 110
 6361  outb((unsigned char)4, __cil_tmp105);
 6362  }
 6363  {
 6364#line 110
 6365  __cil_tmp106 = (unsigned long )pi;
 6366#line 110
 6367  __cil_tmp107 = __cil_tmp106 + 16;
 6368#line 110
 6369  if (*((int *)__cil_tmp107)) {
 6370    {
 6371#line 110
 6372    __cil_tmp108 = (unsigned long )pi;
 6373#line 110
 6374    __cil_tmp109 = __cil_tmp108 + 16;
 6375#line 110
 6376    __cil_tmp110 = *((int *)__cil_tmp109);
 6377#line 110
 6378    __cil_tmp111 = (unsigned long )__cil_tmp110;
 6379#line 110
 6380    __udelay(__cil_tmp111);
 6381    }
 6382  } else {
 6383
 6384  }
 6385  }
 6386  {
 6387#line 110
 6388  __cil_tmp112 = (unsigned long )pi;
 6389#line 110
 6390  __cil_tmp113 = __cil_tmp112 + 8;
 6391#line 110
 6392  __cil_tmp114 = *((int *)__cil_tmp113);
 6393#line 110
 6394  __cil_tmp115 = __cil_tmp114 + 2;
 6395#line 110
 6396  outb((unsigned char)5, __cil_tmp115);
 6397  }
 6398  {
 6399#line 110
 6400  __cil_tmp116 = (unsigned long )pi;
 6401#line 110
 6402  __cil_tmp117 = __cil_tmp116 + 16;
 6403#line 110
 6404  if (*((int *)__cil_tmp117)) {
 6405    {
 6406#line 110
 6407    __cil_tmp118 = (unsigned long )pi;
 6408#line 110
 6409    __cil_tmp119 = __cil_tmp118 + 16;
 6410#line 110
 6411    __cil_tmp120 = *((int *)__cil_tmp119);
 6412#line 110
 6413    __cil_tmp121 = (unsigned long )__cil_tmp120;
 6414#line 110
 6415    __udelay(__cil_tmp121);
 6416    }
 6417  } else {
 6418
 6419  }
 6420  }
 6421  {
 6422#line 110
 6423  __cil_tmp122 = (unsigned long )pi;
 6424#line 110
 6425  __cil_tmp123 = __cil_tmp122 + 8;
 6426#line 110
 6427  __cil_tmp124 = *((int *)__cil_tmp123);
 6428#line 110
 6429  __cil_tmp125 = __cil_tmp124 + 2;
 6430#line 110
 6431  outb((unsigned char)4, __cil_tmp125);
 6432  }
 6433  {
 6434#line 110
 6435  __cil_tmp126 = (unsigned long )pi;
 6436#line 110
 6437  __cil_tmp127 = __cil_tmp126 + 16;
 6438#line 110
 6439  if (*((int *)__cil_tmp127)) {
 6440    {
 6441#line 110
 6442    __cil_tmp128 = (unsigned long )pi;
 6443#line 110
 6444    __cil_tmp129 = __cil_tmp128 + 16;
 6445#line 110
 6446    __cil_tmp130 = *((int *)__cil_tmp129);
 6447#line 110
 6448    __cil_tmp131 = (unsigned long )__cil_tmp130;
 6449#line 110
 6450    __udelay(__cil_tmp131);
 6451    }
 6452  } else {
 6453
 6454  }
 6455  }
 6456  {
 6457#line 110
 6458  __cil_tmp132 = (unsigned long )pi;
 6459#line 110
 6460  __cil_tmp133 = __cil_tmp132 + 8;
 6461#line 110
 6462  __cil_tmp134 = *((int *)__cil_tmp133);
 6463#line 110
 6464  outb((unsigned char)255, __cil_tmp134);
 6465  }
 6466  {
 6467#line 110
 6468  __cil_tmp135 = (unsigned long )pi;
 6469#line 110
 6470  __cil_tmp136 = __cil_tmp135 + 16;
 6471#line 110
 6472  if (*((int *)__cil_tmp136)) {
 6473    {
 6474#line 110
 6475    __cil_tmp137 = (unsigned long )pi;
 6476#line 110
 6477    __cil_tmp138 = __cil_tmp137 + 16;
 6478#line 110
 6479    __cil_tmp139 = *((int *)__cil_tmp138);
 6480#line 110
 6481    __cil_tmp140 = (unsigned long )__cil_tmp139;
 6482#line 110
 6483    __udelay(__cil_tmp140);
 6484    }
 6485  } else {
 6486
 6487  }
 6488  }
 6489#line 111
 6490  x = 8;
 6491  {
 6492#line 111
 6493  __cil_tmp141 = (unsigned long )pi;
 6494#line 111
 6495  __cil_tmp142 = __cil_tmp141 + 12;
 6496#line 111
 6497  if (*((int *)__cil_tmp142)) {
 6498#line 111
 6499    x = 9;
 6500  } else {
 6501
 6502  }
 6503  }
 6504  {
 6505#line 113
 6506  __cil_tmp143 = (unsigned long )pi;
 6507#line 113
 6508  __cil_tmp144 = __cil_tmp143 + 8;
 6509#line 113
 6510  __cil_tmp145 = *((int *)__cil_tmp144);
 6511#line 113
 6512  outb((unsigned char)2, __cil_tmp145);
 6513  }
 6514  {
 6515#line 113
 6516  __cil_tmp146 = (unsigned long )pi;
 6517#line 113
 6518  __cil_tmp147 = __cil_tmp146 + 16;
 6519#line 113
 6520  if (*((int *)__cil_tmp147)) {
 6521    {
 6522#line 113
 6523    __cil_tmp148 = (unsigned long )pi;
 6524#line 113
 6525    __cil_tmp149 = __cil_tmp148 + 16;
 6526#line 113
 6527    __cil_tmp150 = *((int *)__cil_tmp149);
 6528#line 113
 6529    __cil_tmp151 = (unsigned long )__cil_tmp150;
 6530#line 113
 6531    __udelay(__cil_tmp151);
 6532    }
 6533  } else {
 6534
 6535  }
 6536  }
 6537  {
 6538#line 113
 6539  __cil_tmp152 = (unsigned long )pi;
 6540#line 113
 6541  __cil_tmp153 = __cil_tmp152 + 8;
 6542#line 113
 6543  __cil_tmp154 = *((int *)__cil_tmp153);
 6544#line 113
 6545  __cil_tmp155 = __cil_tmp154 + 2;
 6546#line 113
 6547  outb((unsigned char)5, __cil_tmp155);
 6548  }
 6549  {
 6550#line 113
 6551  __cil_tmp156 = (unsigned long )pi;
 6552#line 113
 6553  __cil_tmp157 = __cil_tmp156 + 16;
 6554#line 113
 6555  if (*((int *)__cil_tmp157)) {
 6556    {
 6557#line 113
 6558    __cil_tmp158 = (unsigned long )pi;
 6559#line 113
 6560    __cil_tmp159 = __cil_tmp158 + 16;
 6561#line 113
 6562    __cil_tmp160 = *((int *)__cil_tmp159);
 6563#line 113
 6564    __cil_tmp161 = (unsigned long )__cil_tmp160;
 6565#line 113
 6566    __udelay(__cil_tmp161);
 6567    }
 6568  } else {
 6569
 6570  }
 6571  }
 6572  {
 6573#line 113
 6574  __cil_tmp162 = (unsigned long )pi;
 6575#line 113
 6576  __cil_tmp163 = __cil_tmp162 + 8;
 6577#line 113
 6578  __cil_tmp164 = *((int *)__cil_tmp163);
 6579#line 113
 6580  __cil_tmp165 = __cil_tmp164 + 2;
 6581#line 113
 6582  outb((unsigned char)13, __cil_tmp165);
 6583  }
 6584  {
 6585#line 113
 6586  __cil_tmp166 = (unsigned long )pi;
 6587#line 113
 6588  __cil_tmp167 = __cil_tmp166 + 16;
 6589#line 113
 6590  if (*((int *)__cil_tmp167)) {
 6591    {
 6592#line 113
 6593    __cil_tmp168 = (unsigned long )pi;
 6594#line 113
 6595    __cil_tmp169 = __cil_tmp168 + 16;
 6596#line 113
 6597    __cil_tmp170 = *((int *)__cil_tmp169);
 6598#line 113
 6599    __cil_tmp171 = (unsigned long )__cil_tmp170;
 6600#line 113
 6601    __udelay(__cil_tmp171);
 6602    }
 6603  } else {
 6604
 6605  }
 6606  }
 6607  {
 6608#line 113
 6609  __cil_tmp172 = (unsigned long )pi;
 6610#line 113
 6611  __cil_tmp173 = __cil_tmp172 + 8;
 6612#line 113
 6613  __cil_tmp174 = *((int *)__cil_tmp173);
 6614#line 113
 6615  __cil_tmp175 = __cil_tmp174 + 2;
 6616#line 113
 6617  outb((unsigned char)5, __cil_tmp175);
 6618  }
 6619  {
 6620#line 113
 6621  __cil_tmp176 = (unsigned long )pi;
 6622#line 113
 6623  __cil_tmp177 = __cil_tmp176 + 16;
 6624#line 113
 6625  if (*((int *)__cil_tmp177)) {
 6626    {
 6627#line 113
 6628    __cil_tmp178 = (unsigned long )pi;
 6629#line 113
 6630    __cil_tmp179 = __cil_tmp178 + 16;
 6631#line 113
 6632    __cil_tmp180 = *((int *)__cil_tmp179);
 6633#line 113
 6634    __cil_tmp181 = (unsigned long )__cil_tmp180;
 6635#line 113
 6636    __udelay(__cil_tmp181);
 6637    }
 6638  } else {
 6639
 6640  }
 6641  }
 6642  {
 6643#line 113
 6644  __cil_tmp182 = (unsigned long )pi;
 6645#line 113
 6646  __cil_tmp183 = __cil_tmp182 + 8;
 6647#line 113
 6648  __cil_tmp184 = *((int *)__cil_tmp183);
 6649#line 113
 6650  __cil_tmp185 = __cil_tmp184 + 2;
 6651#line 113
 6652  outb((unsigned char)13, __cil_tmp185);
 6653  }
 6654  {
 6655#line 113
 6656  __cil_tmp186 = (unsigned long )pi;
 6657#line 113
 6658  __cil_tmp187 = __cil_tmp186 + 16;
 6659#line 113
 6660  if (*((int *)__cil_tmp187)) {
 6661    {
 6662#line 113
 6663    __cil_tmp188 = (unsigned long )pi;
 6664#line 113
 6665    __cil_tmp189 = __cil_tmp188 + 16;
 6666#line 113
 6667    __cil_tmp190 = *((int *)__cil_tmp189);
 6668#line 113
 6669    __cil_tmp191 = (unsigned long )__cil_tmp190;
 6670#line 113
 6671    __udelay(__cil_tmp191);
 6672    }
 6673  } else {
 6674
 6675  }
 6676  }
 6677  {
 6678#line 113
 6679  __cil_tmp192 = (unsigned long )pi;
 6680#line 113
 6681  __cil_tmp193 = __cil_tmp192 + 8;
 6682#line 113
 6683  __cil_tmp194 = *((int *)__cil_tmp193);
 6684#line 113
 6685  __cil_tmp195 = __cil_tmp194 + 2;
 6686#line 113
 6687  outb((unsigned char)5, __cil_tmp195);
 6688  }
 6689  {
 6690#line 113
 6691  __cil_tmp196 = (unsigned long )pi;
 6692#line 113
 6693  __cil_tmp197 = __cil_tmp196 + 16;
 6694#line 113
 6695  if (*((int *)__cil_tmp197)) {
 6696    {
 6697#line 113
 6698    __cil_tmp198 = (unsigned long )pi;
 6699#line 113
 6700    __cil_tmp199 = __cil_tmp198 + 16;
 6701#line 113
 6702    __cil_tmp200 = *((int *)__cil_tmp199);
 6703#line 113
 6704    __cil_tmp201 = (unsigned long )__cil_tmp200;
 6705#line 113
 6706    __udelay(__cil_tmp201);
 6707    }
 6708  } else {
 6709
 6710  }
 6711  }
 6712  {
 6713#line 113
 6714  __cil_tmp202 = (unsigned long )pi;
 6715#line 113
 6716  __cil_tmp203 = __cil_tmp202 + 8;
 6717#line 113
 6718  __cil_tmp204 = *((int *)__cil_tmp203);
 6719#line 113
 6720  __cil_tmp205 = __cil_tmp204 + 2;
 6721#line 113
 6722  outb((unsigned char)4, __cil_tmp205);
 6723  }
 6724  {
 6725#line 113
 6726  __cil_tmp206 = (unsigned long )pi;
 6727#line 113
 6728  __cil_tmp207 = __cil_tmp206 + 16;
 6729#line 113
 6730  if (*((int *)__cil_tmp207)) {
 6731    {
 6732#line 113
 6733    __cil_tmp208 = (unsigned long )pi;
 6734#line 113
 6735    __cil_tmp209 = __cil_tmp208 + 16;
 6736#line 113
 6737    __cil_tmp210 = *((int *)__cil_tmp209);
 6738#line 113
 6739    __cil_tmp211 = (unsigned long )__cil_tmp210;
 6740#line 113
 6741    __udelay(__cil_tmp211);
 6742    }
 6743  } else {
 6744
 6745  }
 6746  }
 6747  {
 6748#line 113
 6749  __cil_tmp212 = (unsigned long )pi;
 6750#line 113
 6751  __cil_tmp213 = __cil_tmp212 + 8;
 6752#line 113
 6753  __cil_tmp214 = *((int *)__cil_tmp213);
 6754#line 113
 6755  outb((unsigned char)8, __cil_tmp214);
 6756  }
 6757  {
 6758#line 113
 6759  __cil_tmp215 = (unsigned long )pi;
 6760#line 113
 6761  __cil_tmp216 = __cil_tmp215 + 16;
 6762#line 113
 6763  if (*((int *)__cil_tmp216)) {
 6764    {
 6765#line 113
 6766    __cil_tmp217 = (unsigned long )pi;
 6767#line 113
 6768    __cil_tmp218 = __cil_tmp217 + 16;
 6769#line 113
 6770    __cil_tmp219 = *((int *)__cil_tmp218);
 6771#line 113
 6772    __cil_tmp220 = (unsigned long )__cil_tmp219;
 6773#line 113
 6774    __udelay(__cil_tmp220);
 6775    }
 6776  } else {
 6777
 6778  }
 6779  }
 6780  {
 6781#line 113
 6782  __cil_tmp221 = (unsigned long )pi;
 6783#line 113
 6784  __cil_tmp222 = __cil_tmp221 + 8;
 6785#line 113
 6786  __cil_tmp223 = *((int *)__cil_tmp222);
 6787#line 113
 6788  __cil_tmp224 = __cil_tmp223 + 2;
 6789#line 113
 6790  outb((unsigned char)5, __cil_tmp224);
 6791  }
 6792  {
 6793#line 113
 6794  __cil_tmp225 = (unsigned long )pi;
 6795#line 113
 6796  __cil_tmp226 = __cil_tmp225 + 16;
 6797#line 113
 6798  if (*((int *)__cil_tmp226)) {
 6799    {
 6800#line 113
 6801    __cil_tmp227 = (unsigned long )pi;
 6802#line 113
 6803    __cil_tmp228 = __cil_tmp227 + 16;
 6804#line 113
 6805    __cil_tmp229 = *((int *)__cil_tmp228);
 6806#line 113
 6807    __cil_tmp230 = (unsigned long )__cil_tmp229;
 6808#line 113
 6809    __udelay(__cil_tmp230);
 6810    }
 6811  } else {
 6812
 6813  }
 6814  }
 6815  {
 6816#line 113
 6817  __cil_tmp231 = (unsigned long )pi;
 6818#line 113
 6819  __cil_tmp232 = __cil_tmp231 + 8;
 6820#line 113
 6821  __cil_tmp233 = *((int *)__cil_tmp232);
 6822#line 113
 6823  __cil_tmp234 = __cil_tmp233 + 2;
 6824#line 113
 6825  outb((unsigned char)7, __cil_tmp234);
 6826  }
 6827  {
 6828#line 113
 6829  __cil_tmp235 = (unsigned long )pi;
 6830#line 113
 6831  __cil_tmp236 = __cil_tmp235 + 16;
 6832#line 113
 6833  if (*((int *)__cil_tmp236)) {
 6834    {
 6835#line 113
 6836    __cil_tmp237 = (unsigned long )pi;
 6837#line 113
 6838    __cil_tmp238 = __cil_tmp237 + 16;
 6839#line 113
 6840    __cil_tmp239 = *((int *)__cil_tmp238);
 6841#line 113
 6842    __cil_tmp240 = (unsigned long )__cil_tmp239;
 6843#line 113
 6844    __udelay(__cil_tmp240);
 6845    }
 6846  } else {
 6847
 6848  }
 6849  }
 6850  {
 6851#line 113
 6852  __cil_tmp241 = (unsigned long )pi;
 6853#line 113
 6854  __cil_tmp242 = __cil_tmp241 + 8;
 6855#line 113
 6856  __cil_tmp243 = *((int *)__cil_tmp242);
 6857#line 113
 6858  __cil_tmp244 = __cil_tmp243 + 2;
 6859#line 113
 6860  outb((unsigned char)5, __cil_tmp244);
 6861  }
 6862  {
 6863#line 113
 6864  __cil_tmp245 = (unsigned long )pi;
 6865#line 113
 6866  __cil_tmp246 = __cil_tmp245 + 16;
 6867#line 113
 6868  if (*((int *)__cil_tmp246)) {
 6869    {
 6870#line 113
 6871    __cil_tmp247 = (unsigned long )pi;
 6872#line 113
 6873    __cil_tmp248 = __cil_tmp247 + 16;
 6874#line 113
 6875    __cil_tmp249 = *((int *)__cil_tmp248);
 6876#line 113
 6877    __cil_tmp250 = (unsigned long )__cil_tmp249;
 6878#line 113
 6879    __udelay(__cil_tmp250);
 6880    }
 6881  } else {
 6882
 6883  }
 6884  }
 6885  {
 6886#line 113
 6887  __cil_tmp251 = (unsigned long )pi;
 6888#line 113
 6889  __cil_tmp252 = __cil_tmp251 + 8;
 6890#line 113
 6891  __cil_tmp253 = *((int *)__cil_tmp252);
 6892#line 113
 6893  __cil_tmp254 = __cil_tmp253 + 2;
 6894#line 113
 6895  outb((unsigned char)4, __cil_tmp254);
 6896  }
 6897  {
 6898#line 113
 6899  __cil_tmp255 = (unsigned long )pi;
 6900#line 113
 6901  __cil_tmp256 = __cil_tmp255 + 16;
 6902#line 113
 6903  if (*((int *)__cil_tmp256)) {
 6904    {
 6905#line 113
 6906    __cil_tmp257 = (unsigned long )pi;
 6907#line 113
 6908    __cil_tmp258 = __cil_tmp257 + 16;
 6909#line 113
 6910    __cil_tmp259 = *((int *)__cil_tmp258);
 6911#line 113
 6912    __cil_tmp260 = (unsigned long )__cil_tmp259;
 6913#line 113
 6914    __udelay(__cil_tmp260);
 6915    }
 6916  } else {
 6917
 6918  }
 6919  }
 6920  {
 6921#line 114
 6922  __cil_tmp261 = (unsigned long )pi;
 6923#line 114
 6924  __cil_tmp262 = __cil_tmp261 + 8;
 6925#line 114
 6926  __cil_tmp263 = *((int *)__cil_tmp262);
 6927#line 114
 6928  outb((unsigned char)2, __cil_tmp263);
 6929  }
 6930  {
 6931#line 114
 6932  __cil_tmp264 = (unsigned long )pi;
 6933#line 114
 6934  __cil_tmp265 = __cil_tmp264 + 16;
 6935#line 114
 6936  if (*((int *)__cil_tmp265)) {
 6937    {
 6938#line 114
 6939    __cil_tmp266 = (unsigned long )pi;
 6940#line 114
 6941    __cil_tmp267 = __cil_tmp266 + 16;
 6942#line 114
 6943    __cil_tmp268 = *((int *)__cil_tmp267);
 6944#line 114
 6945    __cil_tmp269 = (unsigned long )__cil_tmp268;
 6946#line 114
 6947    __udelay(__cil_tmp269);
 6948    }
 6949  } else {
 6950
 6951  }
 6952  }
 6953  {
 6954#line 114
 6955  __cil_tmp270 = (unsigned long )pi;
 6956#line 114
 6957  __cil_tmp271 = __cil_tmp270 + 8;
 6958#line 114
 6959  __cil_tmp272 = *((int *)__cil_tmp271);
 6960#line 114
 6961  __cil_tmp273 = __cil_tmp272 + 2;
 6962#line 114
 6963  outb((unsigned char)5, __cil_tmp273);
 6964  }
 6965  {
 6966#line 114
 6967  __cil_tmp274 = (unsigned long )pi;
 6968#line 114
 6969  __cil_tmp275 = __cil_tmp274 + 16;
 6970#line 114
 6971  if (*((int *)__cil_tmp275)) {
 6972    {
 6973#line 114
 6974    __cil_tmp276 = (unsigned long )pi;
 6975#line 114
 6976    __cil_tmp277 = __cil_tmp276 + 16;
 6977#line 114
 6978    __cil_tmp278 = *((int *)__cil_tmp277);
 6979#line 114
 6980    __cil_tmp279 = (unsigned long )__cil_tmp278;
 6981#line 114
 6982    __udelay(__cil_tmp279);
 6983    }
 6984  } else {
 6985
 6986  }
 6987  }
 6988  {
 6989#line 114
 6990  __cil_tmp280 = (unsigned long )pi;
 6991#line 114
 6992  __cil_tmp281 = __cil_tmp280 + 8;
 6993#line 114
 6994  __cil_tmp282 = *((int *)__cil_tmp281);
 6995#line 114
 6996  __cil_tmp283 = __cil_tmp282 + 2;
 6997#line 114
 6998  outb((unsigned char)13, __cil_tmp283);
 6999  }
 7000  {
 7001#line 114
 7002  __cil_tmp284 = (unsigned long )pi;
 7003#line 114
 7004  __cil_tmp285 = __cil_tmp284 + 16;
 7005#line 114
 7006  if (*((int *)__cil_tmp285)) {
 7007    {
 7008#line 114
 7009    __cil_tmp286 = (unsigned long )pi;
 7010#line 114
 7011    __cil_tmp287 = __cil_tmp286 + 16;
 7012#line 114
 7013    __cil_tmp288 = *((int *)__cil_tmp287);
 7014#line 114
 7015    __cil_tmp289 = (unsigned long )__cil_tmp288;
 7016#line 114
 7017    __udelay(__cil_tmp289);
 7018    }
 7019  } else {
 7020
 7021  }
 7022  }
 7023  {
 7024#line 114
 7025  __cil_tmp290 = (unsigned long )pi;
 7026#line 114
 7027  __cil_tmp291 = __cil_tmp290 + 8;
 7028#line 114
 7029  __cil_tmp292 = *((int *)__cil_tmp291);
 7030#line 114
 7031  __cil_tmp293 = __cil_tmp292 + 2;
 7032#line 114
 7033  outb((unsigned char)5, __cil_tmp293);
 7034  }
 7035  {
 7036#line 114
 7037  __cil_tmp294 = (unsigned long )pi;
 7038#line 114
 7039  __cil_tmp295 = __cil_tmp294 + 16;
 7040#line 114
 7041  if (*((int *)__cil_tmp295)) {
 7042    {
 7043#line 114
 7044    __cil_tmp296 = (unsigned long )pi;
 7045#line 114
 7046    __cil_tmp297 = __cil_tmp296 + 16;
 7047#line 114
 7048    __cil_tmp298 = *((int *)__cil_tmp297);
 7049#line 114
 7050    __cil_tmp299 = (unsigned long )__cil_tmp298;
 7051#line 114
 7052    __udelay(__cil_tmp299);
 7053    }
 7054  } else {
 7055
 7056  }
 7057  }
 7058  {
 7059#line 114
 7060  __cil_tmp300 = (unsigned long )pi;
 7061#line 114
 7062  __cil_tmp301 = __cil_tmp300 + 8;
 7063#line 114
 7064  __cil_tmp302 = *((int *)__cil_tmp301);
 7065#line 114
 7066  __cil_tmp303 = __cil_tmp302 + 2;
 7067#line 114
 7068  outb((unsigned char)13, __cil_tmp303);
 7069  }
 7070  {
 7071#line 114
 7072  __cil_tmp304 = (unsigned long )pi;
 7073#line 114
 7074  __cil_tmp305 = __cil_tmp304 + 16;
 7075#line 114
 7076  if (*((int *)__cil_tmp305)) {
 7077    {
 7078#line 114
 7079    __cil_tmp306 = (unsigned long )pi;
 7080#line 114
 7081    __cil_tmp307 = __cil_tmp306 + 16;
 7082#line 114
 7083    __cil_tmp308 = *((int *)__cil_tmp307);
 7084#line 114
 7085    __cil_tmp309 = (unsigned long )__cil_tmp308;
 7086#line 114
 7087    __udelay(__cil_tmp309);
 7088    }
 7089  } else {
 7090
 7091  }
 7092  }
 7093  {
 7094#line 114
 7095  __cil_tmp310 = (unsigned long )pi;
 7096#line 114
 7097  __cil_tmp311 = __cil_tmp310 + 8;
 7098#line 114
 7099  __cil_tmp312 = *((int *)__cil_tmp311);
 7100#line 114
 7101  __cil_tmp313 = __cil_tmp312 + 2;
 7102#line 114
 7103  outb((unsigned char)5, __cil_tmp313);
 7104  }
 7105  {
 7106#line 114
 7107  __cil_tmp314 = (unsigned long )pi;
 7108#line 114
 7109  __cil_tmp315 = __cil_tmp314 + 16;
 7110#line 114
 7111  if (*((int *)__cil_tmp315)) {
 7112    {
 7113#line 114
 7114    __cil_tmp316 = (unsigned long )pi;
 7115#line 114
 7116    __cil_tmp317 = __cil_tmp316 + 16;
 7117#line 114
 7118    __cil_tmp318 = *((int *)__cil_tmp317);
 7119#line 114
 7120    __cil_tmp319 = (unsigned long )__cil_tmp318;
 7121#line 114
 7122    __udelay(__cil_tmp319);
 7123    }
 7124  } else {
 7125
 7126  }
 7127  }