wtfcall() and btfcall() implementations