Implement PC()