Use __typeof__ instead of typeof to avoid errors and warnings