script { fun main() { (@M: address); } }