fun other () = return Hi! fun main () = return {[Basis.url (main ())]}, {[url (other ())]}