use variable length encoding for record length