S-expressions and variant