Function decimal4_bytes 

pub exec fn decimal4_bytes(value: u16) -> [u8; 4]

requires

value <= 9999,

returns

[
    (ASCII_0 + value as int / 1000) as u8,
    (ASCII_0 + value as int / 100 % 10) as u8,
    (ASCII_0 + value as int / 10 % 10) as u8,
    (ASCII_0 + value as int % 10) as u8,
],