Bool_lit_intf.S