//# run script { fun main() {} }