formal prisión hasta que cause ejecutoria la sentencia que los absuelva o se extinga la pena;