module asl [system] {
  header "asl.h"
  export *
}