EXC-4000PCI/xx card & M4K1553Px(S) module