gnat: use new compat34x notation