Prototypes and snippets for NDS