Variable-length encoding for numbers; alignments issue in generated code