Adding spec for pk macros