Viliam comments on [Linkpost] Prefixing names with ‘secure_’ makes agents write more secure code