Add return type to get-output-u8vector