Map body arguments on body stack push