SMS: Programming language pragmatics