pub const OPT_JUMP_VELOCITY: &[u8; 19] = b"hacks-jumpvelocity\0";