Synced to ginac_1-3: