Portal

fun Portal(name: String)