spec12: Use classes