muflax standard library