#lang pollen

world ◊(* 101 101)