decoupled stack and stdlib