Using array cast to get properties with name starting with `\0`