system_p

val system_p: text = "SYSTEM_P"(source)