stubst to tycheck decls