mistakenly make printcall return SEXP rather than void