Make calling and casting explicit in implementation stubs