BF: make sure the call is valid for 32 and 64 bits