alt-FAccT: Program