Uses of Class
kawa.standard.prim_throw