ACCESS: Implement mWhile1