Jeff Epler 955bcee1b3 It's OK for an init program to be zero bytes long ... Closes #6636		2022-07-23 20:01:31 -05:00
..
rp2pio	It's OK for an init program to be zero bytes long	2022-07-23 20:01:31 -05:00