actx-top helper macro.