interface KMutableProperty1<T> : KProperty1<T>

interface KProperty1<T> : (T) -> Int