/*$OpenXM: OpenXM/rc/asirrc,v 1.11 2003/05/18 00:13:14 takayama Exp $*/
load("gr")$
load("primdec")$
load("katsura")$
load("bfct")$
load("names.rr")$
load("oxrfc103.rr")$
User_asirrc=which(getenv("HOME")+"/.asirrc")$
if (type(User_asirrc)!=0) {
   print("Loading ~/.asirrc")$
   load(User_asirrc)$
}$
end$