Adding KRL programs