I maintain my opinion that A(Kla) should be written as `#klabel(A), #kList(Kla)`, but I would accept it as A(Kla), too.