Add printf.yzi
Add preloads
Add some decls