Buyteman script which uses a TinyVM parameter