Add misc KRL programs