Fix procedure.marshal test