default visibility in K3 converter is INHERIT