Bili Dong

I see. Thanks for the clarification!

I like @asl's proposal above on adding the `-with-c-preprocessor` option (also consistent with @jafingerhut's idea). Without this option, by default, p4c's behavior should abide by the [language spec](https://staging.p4.org/p4-spec/docs/P4-16-v1.2.4.html#sec-preprocessor), and use...

@fruffy The failures seem to be P4Testgen related. Do you have an idea what might be the issue?

The failing DPDK PTF test `dpdk-ptf/testdata/p4_16_samples/pna-dpdk-add_on_miss0.p4` seems irrelevant to this PR.

@antoninbas Could you help review the bmv2 backend changes? I guess you might have the most context here. Thanks!

The same dev container configuration also enables [GitHub Codespaces](https://github.com/features/codespaces). But I'm not sure [how the billing works when using it in an org repo](https://docs.github.com/en/codespaces/overview#using-organization-owned-codespaces). So I didn't mention it in...

Ha, I almost forget about this. The original difficulty to reimplement the functionality is the license incompatibility with [healpy](https://healpy.readthedocs.io) which is copyleft. Now there seems to be an [alternative implementation...

I have some idea about where to go next for this that I want to jot down here for future reference. I think the radial column density functionality could be...

Regarding the license issue, a [BSD-licensed HEALPix for Astropy](https://github.com/cdeil/healpix) exists to solve it. See http://astropy-healpix.readthedocs.io/en/latest/about.html.