top-level-a in ntmp1