public static EAtom is_record$g(EObject term, EObject tag, EObject size) {
EAtom atag = tag.testAtom();
ETuple tup = term.testTuple();
ESmall siz = size.testSmall();
boolean ok = ( (atag != null) && (tup != null) && (siz != null)
&& (tup.arity() == siz.value)
&& (tup.elm(1) == atag) );
if (ok) return ERT.TRUE;
else return null;
}