package Ġio . kot ex . core Ċ Ċ class ĠI eee Tran Ġ: ĠP reamble (" IEEE tran ") Ċ Ċ fun Ġieee Tran ( initializer : ĠI eee Tran . () Ġ-> ĠUnit ): ĠP reamble Ġ{ ĊĠĠĠ Ġval Ġieee Tran Ġ= ĠI eee Tran () ĊĠĠĠ Ġieee Tran . initializer () ĊĠĠĠ Ġreturn Ġieee Tran Ċ } Ċ