translate: add fptr-arg checking