m4: ax_assert