fun test(): String {
  return getProperty(p0 = "test") /*!! String */
}
