Correct signature of RunAbove API