add MAYBE to tcNormalCall