Add specs for prctl