libvert