a prison or reform school for petty offenders