More concise declaration of pointer types