Semantics and Implementation of a Native-Mode ATM Protocol Stack