What was one of the variants of the mandolin that was never used