SMTs: No code, but a lot to consider