Misc. experiments in ASP code