INT 5B - used by Alloy NTNX

.