WS_INT_53 board

Reported by 4 machines.