int main(int argc, char *argv[]) { ecs_open( 0 , 2 ) ;
pcie40_readfee8( 0 , 0x12 ) ;
ecs_close( 0 , 2 ) ; return 0 ; }