doc/developer: Add terse documentation of assumed C implementation defined behavior