Update program_specifications.bf