An example of using pallet with smart os