add some simple examples that should translate