[patch] Default values in record definitions

Experimental patch, waiting for upstream implementation