Check bind::record declaration in bind::a