mamba spec example