changing whitespace for fun and profit: policydb.c